An example operating system based on the BitThunder kernel.