@inproceedings{Leslie_vSH_05, address = {Canberra}, author = {Ben Leslie and van Schaik, Carl and Gernot Heiser}, booktitle = {6th 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} }