U core di separazione hè statu liberatu (kernel di separazione) Muen, sviluppatu da una cumpagnia svizzera Codelabs.
Muen supporta solu e plataforme Intel x86_64 è assicura chì i kernels di u SO è l'applicazioni in esecuzione nantu à ellu ùn ponu micca accede à e risorse oltre a so quota assignata. Questu hè applicà, frà altre cose, à a RAM, u tempu di CPU è l'accessu à i dispositi I / O.
U kernel hè supportatu cum'è applicazioni invitati. Linux, prugrammi Ada/SPARK, è ancu sistemi operativi di biblioteca scritti cù u framework Solo5 (per esempiu, MirageOS in OCaml). Per Linux I driver di u kernel sò furniti per accelerà l'accessu à PCI è altre risorse host.
Muen stessu hè interamente implementatu in SPARK, un subset sicuru di a lingua Ada, è hè statu verificatu per esse senza errori di runtime. U codice hè distribuitu sottu a licenza GPLv3.
Source: linux.org.ru
