Simple OS with exokernel architecture.