A mini operating system for X86-64 architecture.