Rename SYS_setup_vmm -> SYS_vmm_setup (XCC)
[akaros.git] / tests / vmm /
drwxr-xr-x   ..
-rw-r--r-- 710 Makefrag
-rw-r--r-- 34142 vmrunkernel.c