kernelC is a C-compatible language designed to help developers produce both cleaner and safer kernel code, with no runtime overhead. This project gathers language specification and development of the kcc compiler to C source code (prototyped in Java).