A multi-threaded, pre-emptive kernel for x86-64 architecture.