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

/barrelfish-master/tools/harness/
H A Dbarrelfish.py57 def set_boot_driver(self, boot_driver, args=[]): member in class:BootModules

Completed in 23 milliseconds