@inproceedings{Peters_DEH_15,
    publisher        = {ACM},
    booktitle        = {Asia-Pacific Workshop on Systems (APSys)},
    month            = jul,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8768.pdf},
    slides           = {https://trustworthy.systems/publications/nicta_slides/8768.pdf},
    year             = {2015},
    keywords         = {operating systems, microkernels, multicore, scalability, locking, performance},
    title            = {For a Microkernel, a Big Lock Is Fine},
    numpages         = {7},
    author           = {Peters, Sean and Danis, Adrian and Elphinstone, Kevin and Heiser, Gernot},
    address          = {Tokyo, JP}
  }