Added: new boot.S, serial out for Xeon Phi
[barrelfish] / kernel / arch /
drwxr-xr-x   ..
drwxr-xr-x - arm
drwxr-xr-x - arm_gem5
drwxr-xr-x - armv5
drwxr-xr-x - armv7-m
drwxr-xr-x - armv7
drwxr-xr-x - k1om
drwxr-xr-x - omap44xx
drwxr-xr-x - scc
drwxr-xr-x - x86
drwxr-xr-x - x86_32
drwxr-xr-x - x86_64
drwxr-xr-x - xscale