[michaelmior]

New operating systems are still being created. Barrelfish[0] for example is quite promising. The "commercially ready" part is much more challenging.

[0] http://www.barrelfish.org/

[iso8859-1]

Genode has commercial support: http://genode.org/