Changed the stop_this_cpu() to just hlt.
-rw-r--r-- 17987 COPYING
-rw-r--r-- 3349 NEWS
-rw-r--r-- 2401 README
drwxr-xr-x - documentation
drwxr-xr-x - src
drwxr-xr-x - targets
drwxr-xr-x - util