द्वारा कार्यक्रम genode.org/
-
Genode OS Framework मुफ्त
जेनोड ऑपरेटिंग सिस्टम फ्रेमवर्क मौजूदा गुठली (जैसे, माइक्रोकरनेल या हाइपरविसर) का विस्तार करता है और अनुप्रयोगों के लिए एक समान एपीआई प्रदान करता है। गिरी समर्थन: L4ka: :P istachio, OKL4 (एआरएम, x86), CodeZero, नोवा, L4/असफलत