In what file or files would I find the kernal process scheduler for Debian and/or Raspbian? I would like to organize some Operating Systems Concepts labs by recompiling the existing scheduler with other experimental schedulers and measure the performance results for a class laboratory assignment.

1 Answer 1


Debian's kernel is linux (well, usually).

You may start looking there:


  • Usually? I've never seen a debian with another kernel...
    – chaos
    Jun 3, 2015 at 6:36
  • 1
    @chaos Debian GNU/kfreebsd (official port) and Debian GNU/Hurd (unofficial) both use the GNU userspace with a different kernel.
    – M Noit
    Jun 3, 2015 at 6:39
  • debian.org/ports/hurd debian.org/ports/kfreebsd-gnu I never saw them installed, but they do exist.
    – cadrian
    Jun 3, 2015 at 6:39
  • Interessting, didn't knew that.
    – chaos
    Jun 3, 2015 at 6:41

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .