A hobby operating system