The kernel for the Orion operating system