a very basic operating system kernel