RhKernel is a monolithic kernel written in C and Assembly