SMP booting race and caching
-rw-r--r-- 33570 .bochsrc
-rw-r--r-- 26 .gitignore
-rw-r--r-- 1115 CODING
-rw-r--r-- 4353 GNUmakefile
drwxr-xr-x - boot
drwxr-xr-x - conf
drwxr-xr-x - inc
drwxr-xr-x - ivylib
drwxr-xr-x - kern
drwxr-xr-x - lib
-rw-r--r-- 2331 mergedep.pl
drwxr-xr-x - user