64-bit Micro-Kernel version of Bikeshed OS