Run the kernel monitor on the proper core
-rw-r--r-- 708 .gitignore
-rw-r--r-- 1115 CODING
drwxr-xr-x - Documentation
-rw-r--r-- 5956 GNUmakefile
-rw-r--r-- 7893 LICENSE
-rw-r--r-- 1575 Makeconfig
-rw-r--r-- 1297 Makelocal.template
-rw-r--r-- 0 OVERVIEW
-rw-r--r-- 0 README
drwxr-xr-x - kern
drwxr-xr-x - scripts
drwxr-xr-x - tests
drwxr-xr-x - tools
drwxr-xr-x - user