config.py 405 B

123456789101112
  1. '''
  2. https://cirosantilli.com/linux-kernel-module-cheat#default-command-line-arguments
  3. '''
  4. def set_args(args, script_name):
  5. # archs in plural here because --arch adds items to a list of archs.
  6. args['archs'] = ['aarch64']
  7. args['emulators'] = ['gem5']
  8. if script_name == 'build-gem5':
  9. # This argument is defined only for ./build-gem5.
  10. args['extra_scons_args'] = ['ADSF=qwer']