Hackernews posts about The SeL4 Microkernel

1. The SeL4 Microkernel: An Introduction [pdf] (sel4.systems)
   264 points by snvzz 3 months ago | 188 comments
2. Why no (se)L4 microkernel/hypervisor based browser?
   10 points by iloveappleman 9 months ago | 6 comments
3. Ask HN: What runs L4-related microkernels/hypervisors these days?
   115 points by AlexWandell 9 months ago | 55 comments