@inproceedings{ LionsOs:Heiser,
    address          = {Gladstone, QLD, AU},
    author           = {Gernot Heiser},
    booktitle        = {Everything Open},
    month            = apr,
    organization     = {Linux Australia},
    title            = {{Lions OS}: Secure -- Fast -- Adaptable},
    year             = {2024}
}

@article{ Threads:Lee,
    author           = {Lee, Edward},
    year             = {2006},
    month            = {06},
    pages            = {33 - 42},
    title            = {The Problem with Threads},
    volume           = {39},
    journal          = {Computer},
    doi              = {10.1109/MC.2006.180}
}

@article{ lua:Ierusalimschy,
    abstract = {We discuss the main novelties of the   implementation of Lua
        5.0: its register-based virtual machine, the   new algorithm for
        optimizing tables used as arrays, the   implementation of closures,
        and the addition of   coroutines.},
    author = {Ierusalimschy, Roberto and de Figueiredo, Luiz Henrique and Celes, Waldemar},
    doi = {10.3217/jucs-011-07-1159},
    journal = {Journal of Universal Computer Science},
    keywords = {Language Lua VM},
    number = 7,
    pages = {1159--1176},
    title = {The Implementation of Lua 5.0},
    url = {http://www.jucs.org/jucs_11_7/the_implementation_of_lua},
    volume = 11,
    year = 2005
}

@phdthesis{ securityKernelLambda:Rees,
  title={A security kernel based on the lambda-calculus},
  author={Rees, Jonathan A},
  year={1995},
  school={Massachusetts Institute of Technology}
}

@inproceedings{ fork:Baumann,
  title={A fork () in the road},
  author={Baumann, Andrew and Appavoo, Jonathan and Krieger, Orran and Roscoe, Timothy},
  booktitle={Proceedings of the Workshop on Hot Topics in Operating Systems},
  pages={14--22},
  year={2019}
}

@inproceedings{ riscvSelfHostingComputer:Somlo,
  author={Somlo, Gabriel L.},
  booktitle={2020 IEEE Security and Privacy Workshops (SPW)},
  title={Toward a Trustable, Self-Hosting Computer System},
  year={2020},
  volume={},
  number={},
  pages={136-143},
  keywords={Privacy;Conferences;Supply chains;Hardware;Software;Trojan horses;Computer security},
  doi={10.1109/SPW50608.2020.00039}
} % https://www.contrib.andrew.cmu.edu/~somlo/BTCP/