History log of /seL4-camkes-master/tools/rumprun/platform/xen/pci/rumphyper_pci.c
Revision Date Author Comments
# 40e5db40 21-Sep-2015 Antti Kantee <pooka@iki.fi>

Split PCI and DMA hypercalls into separate files.

PCI (usually) implies DMA, but DMA doesn't imply PCI.
# 139bbe28 03-Jun-2015 Antti Kantee <pooka@iki.fi>

update src-netbsd and switch to new-style pci build