Msingi wa kujitenga ulitolewa (kernel ya kujitenga) Muen, iliyotengenezwa na kampuni ya Uswizi codelabs.
Muen hutumia majukwaa ya Intel x86_64 pekee na huhakikisha kwamba kernels za OS na programu zinazoendeshwa kwayo haziwezi kufikia rasilimali zaidi ya kiwango chao kilichotengwa. Hii inatumika, kati ya mambo mengine, kwa RAM, wakati wa CPU na ufikiaji wa vifaa vya I/O.
Linux kernel, programu za Ada/SPARK, pamoja na OS za maktaba zilizoandikwa kwa kutumia mfumo wa Solo5 (kwa mfano, MirageOS kwenye OCaml) zinaauniwa kama programu za wageni. Viendeshi vya Kernel hutolewa kwa Linux ili kuharakisha ufikiaji wa PCI na rasilimali zingine za mwenyeji.
Muen yenyewe inatekelezwa kikamilifu katika SPARK, kitengo salama cha lugha ya Ada, na imethibitishwa kuwa haina hitilafu za wakati wa utekelezaji. Nambari hiyo inasambazwa chini ya leseni ya GPLv3.
Chanzo: linux.org.ru