Added: new boot.S, serial out for Xeon Phi
[barrelfish] / kernel / arch / k1om /
drwxr-xr-x   ..
-rw-r--r-- 13574 boot.S
-rw-r--r-- 2871 debug.c
-rw-r--r-- 11715 entry.S
-rw-r--r-- 9324 exec.c
-rw-r--r-- 9592 gdb_arch.c
-rw-r--r-- 23840 init.c
-rw-r--r-- 43553 irq.c
-rw-r--r-- 1756 linker.lds.in
-rw-r--r-- 1537 microbenchmarks.c
-rw-r--r-- 16495 page_mappings_arch.c
-rw-r--r-- 6699 paging.c
-rw-r--r-- 2041 serial.c
-rw-r--r-- 33138 startup_arch.c
-rw-r--r-- 34299 syscall.c
-rw-r--r-- 8804 vmkit.c