Added: new boot.S, serial out for Xeon Phi
[barrelfish] / tools / xeon-phi /
drwxr-xr-x   ..
-rw-r--r-- 184 Makefile
-rw-r--r-- 871 xeon-phi-kernel-module.c