'''
https://cirosantilli.com/linux-kernel-module-cheat#default-command-line-arguments
'''

def set_args(args, script_name):
    args['arch'] = 'aarch64'
    args['emulators'] = ['gem5']
    if script_name == 'build-gem5':
        # This argument is defined only for ./build-gem5.
        args['extra_scons_args'] = ['ADSF=qwer']