A recipe for an operating system.