The KOS operating system kernel and basic user space.