@article{Leslie_CFGGMPSEH_05,
    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},
    journal          = {Journal of Computer Science and Technology},
    month            = sep,
    number           = {5},
    pages            = {654--664},
    paperurl         = {https://trustworthy.systems/publications/papers/Leslie_CFGGMPSEH_05.pdf},
    title            = {User-level Device Drivers: Achieved Performance},
    volume           = {20},
    year             = {2005}
  }