Submissions from codelabs.ch

		Muen – An x86/64 Separation Kernel for High Assurance (codelabs.ch)
		2 points by LiamPowell 59 days ago \| past \| 1 comment
		Muen SK for x86/64 – formally verified Separation Kernel (codelabs.ch)
		2 points by eggy on Jan 14, 2025 \| past \| 1 comment
		TKM – Trusted Key Manager (codelabs.ch)
		1 point by walterbell on Aug 21, 2016 \| past
		Muen separation kernel toolchain (2014) [pdf] (codelabs.ch)
		1 point by vezzy-fnord on Nov 6, 2015 \| past
		The Muen Separation Kernel (codelabs.ch)
		1 point by mrbig4545 on Sept 18, 2015 \| past \| 1 comment
		Muen: formally checked OS kernel (codelabs.ch)
		2 points by sanxiyn on Dec 10, 2013 \| past