hake: armv7_gem5_vexpressemm: Fix armv7 gem5 menu.lst to supply a device db to kaluga

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

diff --git a/hake/menu.lst.armv7_a15ve_gem5 b/hake/menu.lst.armv7_a15ve_gem5
index f499e98..3a516ef 100644 (file)
--- a/hake/menu.lst.armv7_a15ve_gem5
+++ b/hake/menu.lst.armv7_a15ve_gem5
@@ -22,7 +22,7 @@ module /armv7/sbin/ramfsd boot
 module /armv7/sbin/skb boot
 modulenounzip /eclipseclp_ramfs.cpio.gz nospawn
 modulenounzip /skb_ramfs.cpio.gz nospawn
-module /armv7/sbin/kaluga boot
+module /armv7/sbin/kaluga boot add_device_db=plat_VE_A15x1
 module /armv7/sbin/spawnd boot
 module /armv7/sbin/startd boot