{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T18:41:48Z","timestamp":1771699308103,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,8,30]],"date-time":"2010-08-30T00:00:00Z","timestamp":1283126400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,8,30]]},"DOI":"10.1145\/1851276.1851282","type":"proceedings-article","created":{"date-parts":[[2010,8,31]],"date-time":"2010-08-31T13:06:04Z","timestamp":1283259964000},"page":"19-24","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":109,"title":["The OKL4 microvisor"],"prefix":"10.1145","author":[{"given":"Gernot","family":"Heiser","sequence":"first","affiliation":[{"name":"Open Kernel Labs and NICTA and University of New South Wales, Sydney, Australia"}]},{"given":"Ben","family":"Leslie","sequence":"additional","affiliation":[{"name":"Open Kernel Labs, Syndey, Australia"}]}],"member":"320","published-online":{"date-parts":[[2010,8,30]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/1700527.1700644"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945462"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/362258.362278"},{"key":"e_1_3_2_1_4_1","volume-title":"2009 USENIX","author":"Burtsev A.","year":"2009","unstructured":"A. Burtsev , K. Srinivasan , and P. Radhakrishnan . Fido: Fast inter-virtual-machine communication for enterprise applications . In 2009 USENIX , San Diego, CA, USA , Jun 2009 . A. Burtsev, K. Srinivasan, and P. Radhakrishnan. Fido: Fast inter-virtual-machine communication for enterprise applications. In 2009 USENIX, San Diego, CA, USA, Jun 2009."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/168619.168629"},{"key":"e_1_3_2_1_6_1","unstructured":"Green Hills Integrity. http:\/\/www.ghs.com\/ products\/rtos\/integrity.html.  Green Hills Integrity. http:\/\/www.ghs.com\/ products\/rtos\/integrity.html."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1700527.1700692"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/268998.266660"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133572.1133615"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ccnc08.2007.64"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1113361.1113363"},{"key":"e_1_3_2_1_12_1","first-page":"1","volume-title":"10th HotOS","author":"Hand S.","year":"2005","unstructured":"S. Hand , A. Warfield , K. Fraser , E. Kottsovinos , and D. Magenheimer . Are virtual machine monitors microkernels done right ? In 10th HotOS , pages 1 -- 6 , Sante Fe, NM, USA , Jun 2005 . USENIX. S. Hand, A. Warfield, K. Fraser, E. Kottsovinos, and D. Magenheimer. Are virtual machine monitors microkernels done right? In 10th HotOS, pages 1--6, Sante Fe, NM, USA, Jun 2005. USENIX."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1217935.1217949"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629596"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/800213.806531"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11390-005-0654-4"},{"key":"e_1_3_2_1_17_1","unstructured":"P. Laroux and B. Graham. Secure by design: Using a microkernel rtos to build secure fault-tolerant systems. White paper QNX http:\/\/www.qnx.com\/download\/feature.html?programid=19358 Apr 2009.  P. Laroux and B. Graham. Secure by design: Using a microkernel rtos to build secure fault-tolerant systems. White paper QNX http:\/\/www.qnx.com\/download\/feature.html?programid=19358 Apr 2009."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/168619.168633"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224075"},{"key":"e_1_3_2_1_20_1","first-page":"17","volume-title":"6th OSDI","author":"LeVasseur J.","year":"2004","unstructured":"J. LeVasseur , V. Uhlig , J. Stoess , and S. G\u00f6tz . Unmodified device driver reuse and improved system dependability via virtual machines . In 6th OSDI , pages 17 -- 30 , San Francisco, CA, USA , Dec 2004 . J. LeVasseur, V. Uhlig, J. Stoess, and S. G\u00f6tz. Unmodified device driver reuse and improved system dependability via virtual machines. In 6th OSDI, pages 17--30, San Francisco, CA, USA, Dec 2004."},{"key":"e_1_3_2_1_21_1","unstructured":"Open Kernel Labs. OKL4 community site. http:\/\/okl4.org.  Open Kernel Labs. OKL4 community site. http:\/\/okl4.org."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/361011.361073"},{"key":"e_1_3_2_1_23_1","volume-title":"Apr","author":"Rutkowska J.","year":"2008","unstructured":"J. Rutkowska . Security challenges in virtualized environments. http:\/\/www.invisiblethingslab.com , Apr 2008 . J. Rutkowska. Security challenges in virtualized environments. http:\/\/www.invisiblethingslab.com, Apr 2008."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755913.1755935"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1383422.1383437"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/1785080.1785094"}],"event":{"name":"SIGCOMM '10: ACM SIGCOMM 2010 Conference","location":"New Delhi India","acronym":"SIGCOMM '10","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication","SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the first ACM asia-pacific workshop on Workshop on systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1851276.1851282","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1851276.1851282","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:08:44Z","timestamp":1750248524000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1851276.1851282"}},"subtitle":["convergence point of microkernels and hypervisors"],"short-title":[],"issued":{"date-parts":[[2010,8,30]]},"references-count":26,"alternative-id":["10.1145\/1851276.1851282","10.1145\/1851276"],"URL":"https:\/\/doi.org\/10.1145\/1851276.1851282","relation":{},"subject":[],"published":{"date-parts":[[2010,8,30]]},"assertion":[{"value":"2010-08-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}