230c230,231
< def makeArmSystem(mem_mode, machine_type, mdesc = None, bare_metal=False):
---
> def makeArmSystem(mem_mode, machine_type, mdesc = None, dtb_filename = None,
> bare_metal=False):
281a283,284
> if dtb_filename is not None:
> self.dtb_filename = dtb_filename