History log of /seL4-camkes-master/tools/rumprun/platform/sel4/pci/rumpdma.c
Revision Date Author Comments
# c75e8892 12-Jul-2019 Yu Hou <Yu.Hou@data61.csiro.au>

Trivial: style fix

make the style checker happy
# 4bbc7855 22-May-2019 Yu Hou <Yu.Hou@data61.csiro.au>

rumprun: include configs

since global autoconf is removed, we need to manually add
back the kernel config and rumprun_Config
# 87184de9 19-Jul-2017 Kent McLeod <Kent.Mcleod@data61.csiro.au>

sel4: pci_virt_to_mach now use different page size
# 582c0b54 14-Feb-2017 Kent McLeod <Kent.Mcleod@data61.csiro.au>

seL4: Add seL4 as a target rumprun platform