Bugfixes Xeon Phi Driver startup - removed check for boot info - added initialization...
[barrelfish] / usr / drivers /
drwxr-xr-x   ..
drwxr-xr-x - e1000
drwxr-xr-x - e10k
drwxr-xr-x - eMAC
drwxr-xr-x - hpet
drwxr-xr-x - lo
drwxr-xr-x - lpc_kbd
drwxr-xr-x - lpc_timer
drwxr-xr-x - omap44xx
drwxr-xr-x - rtc
drwxr-xr-x - rtl8029
drwxr-xr-x - serial
drwxr-xr-x - sif
drwxr-xr-x - solarflair
drwxr-xr-x - tulip
drwxr-xr-x - uhci
drwxr-xr-x - usb
drwxr-xr-x - vbe
drwxr-xr-x - virtio
drwxr-xr-x - xeon_phi