[dkenyser]

> since it serves also for educational purposes, the kernel code is kept as simple as possible for the benefit of students and OS enthusiasts

[Rochus]

Same as e.g. xv6.