Sanos operating system kernel