A hobby OS written in C++