RhKernel is a monolithic kernel written in C and ASM.It's a rewrite from scratch.You can find old kernel in repo.