@mastersthesis{Varanasi:be,
    month            = nov,
    school           = {School of Computer Science and Engineering},
    title            = {Implementing Hardware-supported Virtualization in {OKL4} on {ARM}},
    address          = {Sydney, Australia},
    author           = {Prashant Varanasi},
    year             = {2010}
  }