Hopefully fixed the SMP timing issue.
-rw-r--r-- 77 .gitignore
-rw-r--r-- 217 CMakeLists.txt
-rw-r--r-- 467 Makefile
-rw-r--r-- 52049 bochsrc.txt
drwxr-xr-x - doc
drwxr-xr-x - fs
lrwxrwxrwx 23 kernel.elf -> build/kernel/kernel.elf
drwxr-xr-x - kernel
-rwxr-xr-x 124 run.sh