from Hacker News

eggy

joined 10/22/13, 6:26 AM has 4099 karma

• Muen SK for x86/64 – formally verified Separation Kernel

  by eggy on 1/14/25, 2:56 PM, with 1 comments