toy operating system kernel