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

/barrelfish-2018-10-04/tools/harness/
H A Dbarrelfish.py31 def set_kernel(self, kernel, args=[]): member in class:BootModules
/barrelfish-2018-10-04/tools/harness/machines/
H A D__init__.py232 m.set_kernel(None)

Completed in 32 milliseconds