@TechReport{Heiser_UL_05,
  author = 	 {Gernot Heiser and Volkmar Uhlig and Joshua LeVasseur},
  title = 	 {Are Virtual-Machine Monitors Microkernels Done Right?},
  institution =  {National ICT Australia},
  year = 	 2005,
  number =	 {PA005103},
  month =	 oct,
}