1Copyright 2014 Data61, CSIRO (ABN 41 687 119 230)
2SPDX-License-Identifier: BSD-2-Clause
3
4@manual{extra:vtd,
5  author = {{Intel Corporation}},
6  title = {Intel Virtualization Technology for Directed I/O --- Architecture Specification},
7  month = feb,
8  year =  2011,
9  note = {\url{http://download.intel.com/technology/computing/vptech/Intel(r)_VT_for_Direct_IO.pdf}}
10}
11
12@misc{whitepaper,
13  author = {Gernot Heiser},
14  title = {The {seL4} Microkernel, An Introduction},
15  month = Jun,
16  year =  2020,
17  url = {https://sel4.systems/About/seL4-whitepaper.pdf}
18}
19
20@misc{seL4_spec,
21  author = {{seL4 Authors}},
22  title = {Abstract formal specification of the {seL4} {API}},
23  month = Sep,
24  year =  2021,
25  url = {https://github.com/seL4/l4v/tree/master/spec/abstract}
26}
27
28@misc{doc_site_proofs,
29  author = {{seL4 Authors}},
30  title = {The {seL4} documentation site},
31  month = Sep,
32  year =  2021,
33  url = {https://docs.sel4.systems/projects/sel4/verified-configurations.html}
34}
35