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

/barrelfish-master/tools/harness/machines/
H A D__init__.py122 def get_kernel_args(self): member in class:Machine
227 m.add_kernel_args(machine.get_kernel_args())
231 m.add_module("cpu_%s" % machine.get_platform(), machine.get_kernel_args())
236 m.set_cpu_driver(kernel, machine.get_kernel_args())
240 m.add_module("cpu", machine.get_kernel_args())
366 def get_kernel_args(self): member in class:ARMMachineBase
H A Duw.py56 def get_kernel_args(self): member in class:UWMachine

Completed in 27 milliseconds