Fixes gcc 4.6.1 incompatibility with old x86 asm
[akaros.git] / kern / ivy /
drwxr-xr-x   ..
-rw-r--r-- 711 Makefrag
-rw-r--r-- 2551 deputy.c
-rw-r--r-- 896 sharc.c