target: disable CONFIG_PROC_PAGE_MONITOR on most targets
[openwrt/openwrt.git] / target / linux / zynq / config-4.4
index 027435f7fb8f2dc380fa779068a4f24efce7551e..e22f2325a8ecbc91b6e0a49cb0beb75554906790 100644 (file)
@@ -179,9 +179,6 @@ CONFIG_DEBUG_LL_INCLUDE="mach/debug-macro.S"
 CONFIG_DEFAULT_CFQ=y
 # CONFIG_DEFAULT_DEADLINE is not set
 CONFIG_DEFAULT_IOSCHED="cfq"
-CONFIG_DEVTMPFS=y
-CONFIG_DEVTMPFS_MOUNT=y
-CONFIG_DIRECT_IO=y
 CONFIG_DMADEVICES=y
 CONFIG_DMA_CMA=y
 CONFIG_DMA_ENGINE=y
@@ -547,7 +544,6 @@ CONFIG_PREEMPT_COUNT=y
 # CONFIG_PREEMPT_NONE is not set
 CONFIG_PREEMPT_RCU=y
 CONFIG_PROC_EVENTS=y
-CONFIG_PROC_PAGE_MONITOR=y
 # CONFIG_PROC_STRIPPED is not set
 CONFIG_PTP_1588_CLOCK=y
 CONFIG_R8169=y
@@ -576,7 +572,6 @@ CONFIG_RTC_CLASS=y
 CONFIG_RTC_DRV_PCF8563=y
 CONFIG_RWSEM_SPIN_ON_OWNER=y
 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
-CONFIG_SCHED_HRTICK=y
 # CONFIG_SCHED_INFO is not set
 CONFIG_SCHED_MC=y
 CONFIG_SCHED_SMT=y