Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-04-09 08:49:54 +00:00
Code Issues Packages Projects Releases Wiki Activity

license ID for bib file

Browse Source 
Bib entry is from Data61 database.
This commit is contained in:
Gerwin Klein
2020-03-02 15:44:54 +08:00
parent ceb36c2f1b
commit cdd0f99485
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
manual/extra.bib
View File

@@ -1,3 +1,6 @@
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},