Gernot Heiser (microkerneldude) personal blog

SeL4 Design Principles

microkerneldude.wordpress.com published 2020-03-10

seL4 has been our team’s greatest achievement, but it didn’t fall out of the sky: it was the result of 15 years of research, and has evolved further for the past 10 years. From the begi…

Points

146

HN comments

18

Submissions

1

Cited by

0 commenters

Systems & PerformanceSecurity & Privacy2020

Related posts from the same era

How I cut GTA Online loading times by 70%

Mmeh.20213,883 points1,011 commentscited by 61 details

An Unbelievable Demo

BBrendan Gregg20212,339 points482 commentscited by 5 details

MacOS Catalina: Slow by Design?

Allan Odgaard20202,031 points1,122 commentscited by 5 details

You Are Not Google (2017)

BBradfield School of Computer Science Blog20191,623 points730 commentscited by 14 details

Why Discord is switching from Go to Rust

Discord Blog20201,582 points642 comments details

GNOME has no thumbnails in the file picker and my toilets are blocked

Jjayfax.neocities.org20211,505 points1,014 commentscited by 10 details