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}}
}