Jenkins: Enable the lousy lapic timer since we don't have KVM
[akaros.git] / tools / jenkins / config /
drwxr-xr-x   ..
-rw-r--r-- 532 Makelocal_qemu
-rw-r--r-- 1037 compilation_components.json