Added: new boot.S, serial out for Xeon Phi
[barrelfish] / kernel / include /
drwxr-xr-x   ..
drwxr-xr-x - arch
-rw-r--r-- 1720 cap_predicates.h
-rw-r--r-- 3993 capabilities.h
-rw-r--r-- 3237 dispatch.h
-rw-r--r-- 1494 diteinfo.h
-rw-r--r-- 1382 exec.h
-rw-r--r-- 893 gdb_stub.h
-rw-r--r-- 6518 kernel.h
-rw-r--r-- 932 microbenchmarks.h
-rw-r--r-- 3475 multiboot.h
-rw-r--r-- 1019 paging_generic.h
-rw-r--r-- 1551 paging_kernel_helper.h
-rw-r--r-- 589 schedule.h
-rw-r--r-- 1922 serial.h
-rw-r--r-- 1676 startup.h
-rw-r--r-- 2926 syscall.h
drwxr-xr-x - target
-rw-r--r-- 801 timer.h
-rw-r--r-- 796 useraccess.h
-rw-r--r-- 501 wakeup.h