try EROS then EROS is a pure-capabilities OS, which allows the same model to be used for high levels of both mandatory and discretionary security, and is very much object-oriented. In fact, it doe...
A system and service manager.
A library for dealing with dimensioned values.