PCI device locking and synchronization
[akaros.git] / kern / arch / x86 / boot /
drwxr-xr-x   ..
-rw-r--r-- 999 Makefrag
-rw-r--r-- 3900 boot.S
-rw-r--r-- 3560 main.c
-rw-r--r-- 357 sign.pl