@mastersthesis{Dang:be,
    address          = {Sydney, Australia},
    author           = {Clarence Dang},
    keywords         = {public, L4, Blackfin, virtual memory, protected kernel addressing},
    month            = oct,
    paperUrl         = {https://trustworthy.systems/publications/theses_public/06/Dang%3Abe.pdf},
    school           = {School of Computer Science and Engineering},
    title            = {Optimising {L4} on {Blackfin} 533/537: an investigation into a high performance {L4} microkernel
                        without virtual memory},
    type             = {{BE} Thesis},
    year             = {2006}
  }