vmm: x86: allow guests to poke MSR_IA32_PRED_CMD (XCC)
[akaros.git] / kern /
drwxr-xr-x   ..
drwxr-xr-x - arch
-rw-r--r-- 200 build_id.ld
drwxr-xr-x - drivers
drwxr-xr-x - include
drwxr-xr-x - kfs
drwxr-xr-x - lib
-rw-r--r-- 1292 linker_tables.ld
drwxr-xr-x - src