harness: adding serial domains to the harness images on ARMv7
authorReto Achermann <reto.achermann@inf.ethz.ch>
Thu, 18 Jul 2019 15:59:26 +0000 (17:59 +0200)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Thu, 18 Jul 2019 15:59:26 +0000 (17:59 +0200)
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

tools/harness/machines/__init__.py

index 26f686f..b0c0493 100644 (file)
@@ -275,6 +275,8 @@ class Machine(object):
         if a == "armv7":
             m.add_module("kaluga", machine.get_kaluga_args())
             m.add_module("driverdomain_pl390", ["auto"])
+            m.add_module("serial_kernel", ["auto"])
+            m.add_module("serial_pl011",  ["auto"])
             m.add_module("int_route", [])
 
         return m