@inproceedings{Szmajda_01,
    address          = {Lake Louise, Alta, Canada},
    author           = {Cristan Szmajda},
    booktitle        = {International Workshop on Microkernels for Embedded Systems},
    editor           = {K. Elphinstone},
    month            = oct,
    paperurl         = {https://trustworthy.systems/publications/papers/Szmajda_01.pdf},
    title            = {Calypso: A Portable Translation Layer},
    year             = {2001}
  }