O kernel do Debian é linux (bem, geralmente).
Você pode começar a procurar:
Em qual arquivo ou arquivos eu encontraria o agendador de processo kernal para Debian e / ou Raspbian? Gostaria de organizar alguns laboratórios de Conceitos de Sistemas Operacionais recompilando o planejador existente com outros planejadores experimentais e medir os resultados de desempenho para uma atribuição de laboratório de classe.