Skip to content

Posts tagged ‘l4’

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

VMware MVP: What it really is on 2010/11/11

Much Ado About Type-2 on 2010/10/14

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