Skip to content

Posts tagged ‘microkernel’

Clarification on seL4 media reports on 2014/07/30

Closing the gap: Real OS security finally in reach! on 2013/05/03

Green computing through formal verification? on 2013/03/18

Giving it away? Part 2: On microkernels and the national interest on 2012/10/02

Giving it away? Part 1: On Commercialisation of ICT IP on 2012/09/27

Where Andy is wrong about L4 on 2012/02/15

Context switching in context on 2009/07/27

“There Were No Bugs!” on 2009/04/25

Virtualization: Some get it, some don’t on 2009/03/23

Microkernels 101 on 2009/03/14