update

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

diff --git a/kernel/fiasco/src/templates/globalconfig.out.arm-v6-mp-pb b/kernel/fiasco/src/templates/globalconfig.out.arm-v6-mp-pb
index de729a125e48eee6c686aa31fe6de04c3a981f06..7dd55693cf4b9f0f6b7eed56b50e6b0d51754ed2 100644 (file)
--- a/kernel/fiasco/src/templates/globalconfig.out.arm-v6-mp-pb
+++ b/kernel/fiasco/src/templates/globalconfig.out.arm-v6-mp-pb
@@ -21,6 +21,7 @@ CONFIG_BSP_NAME="realview"
 # CONFIG_PF_REALVIEW_EB is not set
 CONFIG_PF_REALVIEW_PB11MP=y
 # CONFIG_PF_REALVIEW_PBX is not set
+# CONFIG_PF_REALVIEW_VEXPRESS is not set
 CONFIG_PF_REALVIEW_RAM_PHYS_BASE_0x0=y
 # CONFIG_PF_REALVIEW_RAM_PHYS_BASE_0x7 is not set
 CONFIG_PF_REALVIEW_RAM_PHYS_BASE=0x0