Bugfixes Xeon Phi Driver startup - removed check for boot info - added initialization...
[barrelfish] / usr / drivers / xeon_phi / boot.c
index 998dfc6..3928571 100644 (file)
@@ -360,10 +360,6 @@ errval_t xeon_phi_boot(struct xeon_phi *phi,
     errval_t err;
     lvaddr_t offset;
 
-    if (bi == NULL) {
-        return SYS_ERR_ILLEGAL_INVOCATION;
-    }
-
     xeon_phi_boot_initialize(&boot_registers,
                              XEON_PHI_MMIO_TO_SBOX(phi),
                              XEON_PHI_MMIO_TO_DBOX(phi));