OS Structures
SPIN Approach
What are we shooting for in an OS structure?
Thin, only mechanisms should be in the kernel, not policies in the kernel itself (like microkernel)
Access to resources, without border crossing as much as possible (like DOS)...
