Detecting memory leaks in Linux Kernel & Implementing OSes in managed code.
psankar.blogspot.com
Detecting memory leaks in Linux Kernel in 10 easy steps & Implementing Operating Systems in managed code.
psankar.blogspot.com
Overall I think kernels should not be written in high level languages because high level languages hide memory and hardware, the two components that need to be managed by the kernel in the first place.