| layout | page |
|---|---|
| title | Related |
| permalink | /related/ |
"... is a family of second-generation microkernels, generally used to implement Unix-like operating systems, but also used in a variety of other systems ... L4 is widely deployed. One variant, OKL4 from Open Kernel Labs, shipped in billions of mobile devices"
- History
- Genode OS Framework, Germany
- seL4 Secure Microkernel, Australia
- News
"... is a security-focused desktop operating system that aims to provide security through isolation. Virtualization is performed by Xen, and user environments are based on Fedora."
"... is an open platform for developers and sysadmins to build, ship, and run distributed applications ... Docker enables apps to be quickly assembled from components and eliminates the friction between development, QA, and production environments."
- C/Java: Cloudius OSV, Israel
- Haskell: HaLVM, USA
- Ocaml: OpenMirage, UK
"... is a Xen-based desktop hypervisor. Unlike other desktop hypervisors, it is not targeted at businesses wanting remote provisioning, but rather at individuals who want a high-performance alternative to dual/multi-booting."
"... provides stronger security services which are more resistant to attack and abstractions which are less prone to abuse by attackers. As an example of the former, all networking in Ethos is encrypted, authenticated, and authorized. As an example of the latter, Ethos I/O is typed (as in programming languages) ensuring that I/O conforms to declared types and thus preventing many attacks based on ill-formed input."
- Bromium · vSentry, USA, UK
- Cloudozer · Erlang on Xen, UK, Germany
- Fox IT · DataDiode, Netherlands
- Green Hills · Integrity Multivisor, USA, UK
- Moka5, USA
- Raytheon · Trusted Thin Client, USA
- Secunet · SINA Virtual Workstation, Germany
- Tresys · VMFortress, USA