X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/5a0e6ead0fbfbb912cd817abad695c078e82481c..8d9e85aaae867f39cdd610261e3a4181c25add2d:/kernel/fiasco/src/templates/globalconfig.out.arm-rv-2

diff --git a/kernel/fiasco/src/templates/globalconfig.out.arm-rv-2 b/kernel/fiasco/src/templates/globalconfig.out.arm-rv-2
index d4831c0c9..e24cfa116 100644
--- a/kernel/fiasco/src/templates/globalconfig.out.arm-rv-2
+++ b/kernel/fiasco/src/templates/globalconfig.out.arm-rv-2
@@ -21,6 +21,7 @@ CONFIG_BSP_NAME="realview"
 CONFIG_PF_REALVIEW_EB=y
 # CONFIG_PF_REALVIEW_PB11MP is not set
 # CONFIG_PF_REALVIEW_PBX is not set
+# CONFIG_PF_REALVIEW_VEXPRESS is not set
 CONFIG_PF_REALVIEW_RAM_PHYS_BASE=0x0
 CONFIG_ABI_VF=y
 CONFIG_CAN_ARM_CPU_926=y