Bugfixes Xeon Phi Driver startup - removed check for boot info - added initialization...
[barrelfish] / usr / drivers / xeon_phi /
drwxr-xr-x   ..
-rw-r--r-- 3496 Hakefile
-rw-r--r-- 12497 boot.c
-rw-r--r-- 1706 debug.h
-rw-r--r-- 722 dma.c
-rw-r--r-- 939 dma.h
-rw-r--r-- 3774 host_bootstrap.c
-rw-r--r-- 4085 interrupts.c
-rw-r--r-- 3313 interrupts.h
-rw-r--r-- 3775 main.c
-rw-r--r-- 11381 messaging.c
-rw-r--r-- 3940 messaging.h
-rw-r--r-- 2771 mgr_main.c
-rw-r--r-- 4705 serial.c
-rw-r--r-- 8256 service.c
-rw-r--r-- 1098 service.h
-rw-r--r-- 1424 sleep.c
-rw-r--r-- 475 sleep.h
-rw-r--r-- 2934 smpt.c
-rw-r--r-- 2363 smpt.h
-rw-r--r-- 1377 spawn.c
-rw-r--r-- 998 spawn.h
-rw-r--r-- 4004 sysmem_caps.c
-rw-r--r-- 1342 sysmem_caps.h
-rw-r--r-- 10483 xeon_phi.c
-rw-r--r-- 5848 xeon_phi.h