intermezzOS/rfcs

The design of intermezzOS