@inproceedings{Heiser_01,
    address          = {Lake Louise, Alta, Canada},
    author           = {Gernot Heiser},
    booktitle        = {International Workshop on Microkernels for Embedded Systems},
    editor           = {K. Elphinstone},
    month            = oct,
    paperurl         = {https://trustworthy.systems/publications/papers/Heiser_01.pdf},
    title            = {Dealing with {TLB} Tags},
    year             = {2001}
  }