Hacker News
- Muen: An X86/64 Separation Kernel for High Assurance https://muen.sk/ 18 comments
- The Muen Separation Kernel http://muen.sk/ 21 comments
- Muen Kernel: Trustworthy by Design – Correct By Construction http://www.muen.sk/ 14 comments
Lobsters
- The Muen Separation Kernel http://muen.sk/ 3 comments virtualization
- The Muen Separation Kernel http://muen.sk/ 7 comments linux
- The Muen Separation Kernel http://www.muen.sk/ 4 comments netsec
Linking pages
- Unikernels are secure. Here is why. | Unikernels http://unikernel.org/blog/2017/unikernels-are-secure 166 comments
- The road ahead for MirageOS in 2021 https://hannes.robur.coop/Posts/NGI 14 comments
- Genode 16.02 supports the RISC-V CPU architecture – OSnews http://www.osnews.com/story/29106/Genode_16_02_supports_the_RISC-V_CPU_architecture 0 comments
- NetHSM - The Trustworthy, Open Hardware Security Module That Just Works | Nitrokey https://www.nitrokey.com/products/nethsm 0 comments
Would you like to stay up to date with Unix? Checkout Unix
Weekly.
Related searches:
Search whole site: site:muen.sk
Search title: Muen | SK for x86/64
See how to search.