Files
seL4/manual/extra.bib
Gerwin Klein cdd0f99485 license ID for bib file
Bib entry is from Data61 database.
2020-03-09 13:21:49 +08:00

11 lines
369 B
BibTeX

Copyright 2014 Data61, CSIRO (ABN 41 687 119 230)
SPDX-License-Identifier: BSD-2-Clause
@manual{extra:vtd,
author = {{Intel Corporation}},
title = {Intel Virtualization Technology for Directed I/O --- Architecture Specification},
month = feb,
year = 2011,
note = {\url{http://download.intel.com/technology/computing/vptech/Intel(r)_VT_for_Direct_IO.pdf}}
}