update

[l4.git] / kernel / fiasco / src / templates / globalconfig.out.arm-v6-mp-eb

diff --git a/kernel/fiasco/src/templates/globalconfig.out.arm-v6-mp-eb b/kernel/fiasco/src/templates/globalconfig.out.arm-v6-mp-eb
index c8c4d43443a5fdcbb46ec0fb55ec0f9e0f78f4e8..d3dedb8074d87712de1a4105416e2360b137b26d 100644 (file)
--- a/kernel/fiasco/src/templates/globalconfig.out.arm-v6-mp-eb
+++ b/kernel/fiasco/src/templates/globalconfig.out.arm-v6-mp-eb
@@ -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_PF_REALVIEW_L2CACHE=y
 CONFIG_ABI_VF=y