Configuration.mk: add TOCK_TARGETS for QEMU rv32 virt board

Author: lschuermann

Configuration.mk

@@ -66,6 +66,10 @@ OPENTITAN_TOCK_TARGETS := rv32imc|rv32imc.0x20030080.0x10005000|0x20030080|0x100
 ARTY_E21_TOCK_TARGETS := rv32imac|rv32imac.0x40430080.0x80004000|0x40430080|0x80004000\
                          rv32imac|rv32imac.0x40440080.0x80007000|0x40440080|0x80007000
 
+# Specific addresses useful for the QEMU rv32i "virt" machine memory map.
+QEMU_RV32_VIRT_TOCK_TARGETS := rv32imac|rv32imac.0x80100080.0x80210000|0x80100080|0x80210000\
+                               rv32imac|rv32imac.0x80104080.0x80214000|0x80104080|0x80214000
+
 VEER_EL2_TOCK_TARGETS := rv32imc|rv32imc.0x20300080.0x20602000|0x20300080|0x20602000
 
 # Include the RISC-V targets.
@@ -83,7 +87,8 @@ TOCK_TARGETS ?= cortex-m0\
                 rv32imc|rv32imc.0x00080080.0x40008000|0x00080080|0x40008000\
                 $(OPENTITAN_TOCK_TARGETS) \
                 $(ARTY_E21_TOCK_TARGETS) \
-                $(VEER_EL2_TOCK_TARGETS)
+                $(VEER_EL2_TOCK_TARGETS) \
+                $(QEMU_RV32_VIRT_TOCK_TARGETS)
 
 # Generate `TOCK_ARCH_FAMILIES`, the set of architecture families which will be
 # used to determine toolchains to use in the build process.