First Page | Document Content | |
---|---|---|
![]() Date: 2009-10-19 19:28:33Embedded systems Programming language implementation Mobile virtualization Hypervisor Virtualization Open Kernel Labs Embedded hypervisor Hyper-V L4 microkernel family System software Software Virtual machines | Add to Reading List |
![]() | White Paper∗ Protecting e-Government Against Attacks Gernot Heiser University of New South Wales Sydney, AustraliaDocID: 1qno4 - View Document |
![]() | From L3 to seL4: What Have We Learnt in 20 Years of L4 Microkernels? Kevin Elphinstone, Gernot Heiser NICTA and University of New South WalesDocID: 1md3J - View Document |
![]() | APSYS2011 STEERING COMMITTEE • Gernot Heiser (NICTA, UNSW, Open Kernel Labs) • Doug Terry (MSR, USA)DocID: 1kS0Y - View Document |
![]() | Linux 2.6 Performance in the Corporate Data Center Open Source Development Labs (OSDL) Mary Edie Meredith, Data Center Linux TWG Chair IBM Linux Technology Center (LTC) Duc Vianney, PhDDocID: 1aSuG - View Document |
![]() | ISSUE 27 | SEPTEMBERNICTANews INSIDE BoardDocID: 15njP - View Document |