Added: new boot.S, serial out for Xeon Phi
[barrelfish] / kernel /
drwxr-xr-x   ..
-rw-r--r-- 17784 Hakefile
drwxr-xr-x - arch
-rw-r--r-- 36904 capabilities.c
-rw-r--r-- 15996 dispatch.c
-rw-r--r-- 13970 gdb_stub.c
drwxr-xr-x - include
-rw-r--r-- 1833 memmove.c
-rw-r--r-- 5061 memset.c
-rw-r--r-- 2442 microbenchmarks.c
-rw-r--r-- 8264 paging_generic.c
-rw-r--r-- 19797 printf.c
-rw-r--r-- 16338 schedule_rbed.c
-rw-r--r-- 3107 schedule_rr.c
-rw-r--r-- 13084 startup.c
-rw-r--r-- 2197 stdlib.c
-rw-r--r-- 3782 string.c
-rw-r--r-- 17601 syscall.c
-rw-r--r-- 1815 timer.c
-rw-r--r-- 715 useraccess.c
-rw-r--r-- 2976 wakeup.c