Kernel for the UNX operating system