Searched refs:set_boot_driver (Results 1 - 2 of 2) sorted by relevance

/barrelfish-2018-10-04/tools/harness/
H A Dbarrelfish.py54 def set_boot_driver(self, boot_driver, args=[]): member in class:BootModules
/barrelfish-2018-10-04/tools/harness/machines/
H A D__init__.py236 m.set_boot_driver(machine.get_boot_driver())

Completed in 159 milliseconds