Kernel for ODEANIX operating system