Searched refs:add_kernel_args (Results 1 - 4 of 4) sorted by relevance

/barrelfish-2018-10-04/tools/harness/tests/
H A Dskew.py22 modules.add_kernel_args(["ticks=false"])
H A Dtsctests.py22 modules.add_kernel_args(["ticks=false"])
/barrelfish-2018-10-04/tools/harness/
H A Dbarrelfish.py40 def add_kernel_args(self, args): member in class:BootModules
/barrelfish-2018-10-04/tools/harness/machines/
H A D__init__.py225 m.add_kernel_args(machine.get_kernel_args())

Completed in 35 milliseconds