I can rewrite the kernel in C++ too: update the Makefile to treat .c files as C++. It’ll almost work :)