To reduce boot time, remove the double startup IPI and 10 ms delay from lapic_cpu_ini...
-rw-r--r-- 17987 COPYING
-rw-r--r-- 13597 Makefile
-rw-r--r-- 2576 README
drwxr-xr-x - documentation
drwxr-xr-x - payloads
drwxr-xr-x - src
drwxr-xr-x - util