Operating system for x86-64 cpus, written in C++11