diff --git a/run b/run index 606c954..a01e007 100755 --- a/run +++ b/run @@ -618,7 +618,7 @@ Extra options to append at the end of the emulator command line. ) if dtb is not None: cmd.extend(['--dtb-filename', dtb, LF]) - else: + if not self.env['baremetal'] is None: cmd.extend([ '--bare-metal', LF, '--param', 'system.auto_reset_addr = True', LF,