a little 64bit operating system written in c++ with smp support - View it on GitHub