Hackernews posts about The SeL4 Microkernel

1. 01
   

   newShow HN: Run Linux kernel drivers in userspace on Neptune OS, NT-like OS on seL4

   ▲ 6cl9112ddiscusssavesaved
2. 02
   

   newThe SeL4 Microkernel: An Introduction [pdf]sel4.systems

   ▲ 264snvzz561d💬 188savesaved

· edit