Kernel for RaspberryPi written in C++