src/core/workers.c

@@ -932,6 +932,8 @@ static void _starpu_launch_drivers(struct _starpu_machine_config *pconfig)
 			{
 				struct starpu_driver driver;
 				driver.type = workerarg->arch;
+				workerarg->driver_ops = &_starpu_driver_fpga_ops;
+				workerarg->wait_for_worker_initialization = 1;
 				if (!_starpu_may_launch_driver(&pconfig->conf, &driver))
 				{
 					workerarg->run_by_starpu = 0;