@misc{Heiser_25:kisv,
    author           = {Gernot Heiser},
    howpublished     = {Keynote at KISV workshop},
    month            = oct,
    slides           = {https://trustworthy.systems/publications/papers/Heiser_25:kisv.pdf},
    title            = {Why Change the Kernel When You Have {seL4}?},
    url              = {https://trustworthy.systems/publications/papers/Heiser_25:kisv.abstract.pml},
    year             = {2025}
  }