@techreport{Leslie_CFGGMPSEH_05-tr,
    author           = {Ben Leslie and Peter Chubb and Nicholas FitzRoy-Dale and Stefan G\"{o}tz and Charles Gray and Luke
                        Macpherson and Daniel Potts and Yueting (Rita) Shen and Kevin Elphinstone and Gernot Heiser},
    institution      = {NICTA},
    month            = jul,
    number           = {PA005043},
    paperurl         = {https://trustworthy.systems/publications/papers/Leslie_CFGGMPSEH_05-tr.pdf},
    title            = {User-level Device Drivers: Achieved Performance},
    year             = {2005}
  }