vmrunkernel: change timer frequency to 1Khz
[akaros.git] / tests / vmm /
drwxr-xr-x   ..
-rw-r--r-- 733 Makefrag
-rw-r--r-- 29058 vmrunkernel.c