From 3d95fb5f9c904f3cfddcfee1321b3031364765d5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ciro=20Santilli=20=E5=85=AD=E5=9B=9B=E4=BA=8B=E4=BB=B6=20?=
 =?UTF-8?q?=E6=B3=95=E8=BD=AE=E5=8A=9F?= <ciro.santilli@gmail.com>
Date: Wed, 11 Sep 2019 00:00:01 +0000
Subject: [PATCH] config.py: use correct archs parameter

---
 config.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/config.py b/config.py
index 787624e..ef610fb 100644
--- a/config.py
+++ b/config.py
@@ -3,7 +3,8 @@ https://cirosantilli.com/linux-kernel-module-cheat#default-command-line-argument
 '''
 
 def set_args(args, script_name):
-    args['arch'] = 'aarch64'
+    # archs in plural here because --arch adds items to a list of archs.
+    args['archs'] = ['aarch64']
     args['emulators'] = ['gem5']
     if script_name == 'build-gem5':
         # This argument is defined only for ./build-gem5.