update

[l4.git] / kernel / fiasco / src / templates / globalconfig.out.arm-imx51

diff --git a/kernel/fiasco/src/templates/globalconfig.out.arm-imx51 b/kernel/fiasco/src/templates/globalconfig.out.arm-imx51
index 21316344751bae5d5a54b827b1dde4b7b7f3b1e0..a05bd3a1a41051fb28d7fa1907bbaea899b26d69 100644 (file)
--- a/kernel/fiasco/src/templates/globalconfig.out.arm-imx51
+++ b/kernel/fiasco/src/templates/globalconfig.out.arm-imx51
@@ -19,6 +19,7 @@ CONFIG_PF_IMX=y
 # CONFIG_PF_INTEGRATOR is not set
 CONFIG_BSP_NAME="imx"
 # CONFIG_PF_IMX_21 is not set
+# CONFIG_PF_IMX_35 is not set
 CONFIG_PF_IMX_51=y
 CONFIG_PF_IMX_RAM_PHYS_BASE=0x90000000
 CONFIG_ABI_VF=y