vmm: Rename SYS_vmm_setup -> SYS_vmm_add_gpcs (XCC)
[akaros.git] / kern / drivers /
drwxr-xr-x   ..
-rw-r--r-- 60 Kbuild
-rw-r--r-- 93 Kconfig
drwxr-xr-x - dev
drwxr-xr-x - net
drwxr-xr-x - timers