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

/barrelfish-master/tools/harness/
H A Dbarrelfish.py43 def add_kernel_args(self, args): member in class:BootModules

Completed in 25 milliseconds