Added: new boot.S, serial out for Xeon Phi
[barrelfish] / kernel / include / arch / k1om /
drwxr-xr-x   ..
-rw-r--r-- 1716 arch_gdb_stub.h
-rw-r--r-- 2348 cpuid_spaces.h
-rw-r--r-- 806 fpu.h
-rw-r--r-- 748 init.h
-rw-r--r-- 6700 irq.h
-rw-r--r-- 887 kernel_multiboot.h
-rw-r--r-- 991 kputchar.h
-rw-r--r-- 594 linux_host.h
-rw-r--r-- 929 misc.h
-rw-r--r-- 2350 offsets.h
-rw-r--r-- 2815 paging_kernel_arch.h
-rw-r--r-- 609 vmkit.h
-rw-r--r-- 2621 x86.h