Hobby operating system based on a microkernel architecture.