Skip to content
Follow:
RSS
Twitter
microkerneldude
Random rants and pontifications by Gernot Heiser
Home
About
academia
embedded systems
Open Kernel Labs
operating systems and virtualization
politics and society
safety and security
seL4
Archive for October, 2012
Giving it away? Part 2: On microkernels and the national interest on
2012/10/02
Recent Posts
No Safety without (Cyber-)Security!
seL4 is verified on RISC-V!
The seL4 Foundation – What and Why
seL4 Design Principles
What does seL4’s license imply?
Can seL4 reduce the cost of satellites?
10 Years seL4: Still the Best, Still Getting Better
How to (and how not to) use seL4 IPC
Microkernels Really Do Improve Security
Insecure by design – lessons from the Meltdown and Spectre debacle
Categories
academia
embedded systems
Open Kernel Labs
operating systems and virtualization
politics and society
safety and security
seL4
Archives
November 2020
June 2020
April 2020
March 2020
December 2019
November 2019
August 2019
March 2019
August 2018
February 2018
June 2016
April 2016
April 2015
February 2015
December 2014
November 2014
October 2014
September 2014
August 2014
July 2014
May 2013
April 2013
March 2013
October 2012
September 2012
June 2012
February 2012
January 2012
September 2011
November 2010
October 2010
August 2009
July 2009
April 2009
March 2009
February 2009
July 2008
April 2008
March 2008
February 2008
January 2008
Privacy & Cookies: This site uses cookies. By continuing to use this website, you agree to their use.
To find out more, including how to control cookies, see here:
Cookie Policy