@mastersthesis{Mospan:bsc,
    address          = {unswaddr},
    author           = {Michael Mospan},
    keywords         = {LionsOS,core management,seL4},
    month            = dec,
    paperUrl         = {https://trustworthy.systems/publications/theses_public/25/Mospan%3Absc.pdf},
    school           = {School of Computer Science and Engineering},
    title            = {Core Management in {LionsOS}},
    year             = {2025}
  }