ipq806x: refresh kernel configs

[openwrt/openwrt.git] / target / linux / ipq806x / config-3.18

diff --git a/target/linux/ipq806x/config-3.18 b/target/linux/ipq806x/config-3.18
index 4d3b884dcaee12871727c123acfc52ffa614ac90..f5bd58eee9f1b070c0aae244e495a40b3a633e05 100644 (file)
--- a/target/linux/ipq806x/config-3.18
+++ b/target/linux/ipq806x/config-3.18
@@ -410,7 +410,6 @@ CONFIG_WATCHDOG_CORE=y
 # CONFIG_WIZNET_W5300 is not set
 # CONFIG_WL_TI is not set
 # CONFIG_WQ_POWER_EFFICIENT_DEFAULT is not set
-# CONFIG_XEN is not set
 CONFIG_XPS=y
 CONFIG_XZ_DEC_ARM=y
 CONFIG_XZ_DEC_BCJ=y