@inproceedings{Varanasi_Heiser_11,
    address          = {Shanghai, China},
    author           = {Varanasi, Prashant and Heiser, Gernot},
    booktitle        = {Asia-Pacific Workshop on Systems (APSys)},
    month            = jul,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/4938.pdf},
    publisher        = {ACM},
    title            = {Hardware-Supported Virtualization on {ARM}},
    year             = {2011}
  }