bootable single-thread, single-user, micro-kernel