History log of /seL4-camkes-master/tools/rumprun/platform/xen/xen/hypervisor.c
Revision Date Author Comments
# ed7d4132 11-Jun-2015 Wei Liu <liuw@liuw.name>

minios: implement minios_hypercall

Signed-off-by: Wei Liu <liuw@liuw.name>
# ac3ac63c 03-Mar-2015 Antti Kantee <pooka@iki.fi>

Move files into platform/xen

Prepares for the rumprun merge.