Debian의 스케줄러(Raspbian)

Debian 및/또는 Raspbian의 커널 프로세스 스케줄러를 어떤 파일에서 찾을 수 있나요? 기존 스케줄러를 다른 실험 스케줄러와 다시 컴파일하여 일부 운영 체제 개념 랩을 구성하고 클래스 랩 과제의 성능 결과를 측정하고 싶습니다.