An open-source operating system, written in C++