Open-source 64-bit microkernel for the Zion operating system.