MikeOS: monolithic, compiled for x86 architecture, aimed for Posix compatibility

But can it run Crysis? ;P