@misc{Nguyen_26:sel4s,
    author           = {Bill Nguyen},
    location         = {Vancouver, BC, Canada},
    month            = sep,
    note             = {Talk at the 8th {seL4} {Summit}},
    title            = {Booting {Windows} on an x86-64 {seL4}-based {VMM}},
    video            = {https://www.youtube.com/watch?v=-8GFIiVdSUY},
    year             = {2026}
  }