The kernel for the Orion OS