<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2010-10-14 17:00:09Virtual machines Smartphones Open Kernel Labs L4 microkernel family Mobile virtualization Citrix Systems Nirvana Phone Symbian Mobile operating system System software Software Computing |
Add to Reading List |
ok-labs.com COMPANY DEPLOYED IN MORE THAN 750 MILLION DEVICES | 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 |