A microkernel and Operating-System, written in C++