  @inproceedings{Leslie_vSH_05,
    address          = {Canberra},
    author           = {Ben Leslie and van Schaik, Carl and Gernot Heiser},
    booktitle        = {Linux.conf.au},
    month            = apr,
    paperurl         = {https://trustworthy.systems/publications/papers/Leslie_vSH_05.pdf},
    title            = {Wombat: A Portable User-Mode {Linux} for Embedded Systems},
    year             = {2005}
  }