Create ros/vmm/vmx.h, prepare to move lots of code to user mode from kernel driver.
[akaros.git] / kern / arch / x86 / configs /
drwxr-xr-x   ..
lrwxrwxrwx 26 defconfig -> ../../../../config-default