kernel: add a top level menuconfig option for enabling lockdep

[openwrt/staging/dedeckeh.git] / target / linux / generic / config-2.6.31

diff --git a/target/linux/generic/config-2.6.31 b/target/linux/generic/config-2.6.31
index d457bd8d7aa36f4eb03cd29939feaa56dd0f0b3b..c79c657c84e483945f3b4610ab2f987726dbfa73 100644 (file)
--- a/target/linux/generic/config-2.6.31
+++ b/target/linux/generic/config-2.6.31
@@ -11,6 +11,7 @@
 # CONFIG_ADFS_FS is not set
 # CONFIG_ADM6996_PHY is not set
 # CONFIG_ADM8211 is not set
+CONFIG_AEABI=y
 # CONFIG_AFFS_FS is not set
 # CONFIG_AFS_FS is not set
 # CONFIG_AF_RXRPC is not set
@@ -149,6 +150,7 @@ CONFIG_BCM43XX_DMA_AND_PIO_MODE=y
 # CONFIG_BCM43XX_DMA_MODE is not set
 CONFIG_BCM43XX_PIO=y
 # CONFIG_BCM43XX_PIO_MODE is not set
+# CONFIG_BCMA is not set
 # CONFIG_BEFS_FS is not set
 # CONFIG_BFS_FS is not set
 # CONFIG_BINARY_PRINTF is not set
@@ -265,7 +267,7 @@ CONFIG_BRIDGE=y
 # CONFIG_BROADCOM_PHY is not set
 CONFIG_BROKEN_ON_SMP=y
 # CONFIG_BSD_DISKLABEL is not set
-CONFIG_BSD_PROCESS_ACCT=y
+# CONFIG_BSD_PROCESS_ACCT is not set
 # CONFIG_BSD_PROCESS_ACCT_V3 is not set
 # CONFIG_BT is not set
 # CONFIG_BTRFS_FS is not set
@@ -427,6 +429,7 @@ CONFIG_CRYPTO=y
 # CONFIG_DEBUG_BUGVERBOSE is not set
 CONFIG_DEBUG_FS=y
 # CONFIG_DEBUG_KERNEL is not set
+# CONFIG_DEBUG_LOCKDEP is not set
 # CONFIG_DEBUG_MEMORY_INIT is not set
 # CONFIG_DEBUG_PAGEALLOC is not set
 # CONFIG_DEBUG_RODATA is not set
@@ -775,7 +778,7 @@ CONFIG_HZ_100=y
 # CONFIG_IDE_GD is not set
 CONFIG_IDE_MAX_HWIFS=4
 # CONFIG_IDE_PHISON is not set
-CONFIG_IDE_PROC_FS=y
+# CONFIG_IDE_PROC_FS is not set
 # CONFIG_IDE_TASK_IOCTL is not set
 # CONFIG_IEEE1394 is not set
 # CONFIG_IEEE1394_DV1394 is not set
@@ -827,8 +830,8 @@ CONFIG_INET=y
 # CONFIG_INITRAMFS_COMPRESSION_LZMA is not set
 CONFIG_INITRAMFS_COMPRESSION_NONE=y
 CONFIG_INIT_ENV_ARG_LIMIT=32
-# CONFIG_INOTIFY is not set
-# CONFIG_INOTIFY_USER is not set
+CONFIG_INOTIFY=y
+CONFIG_INOTIFY_USER=y
 # CONFIG_INPUT is not set
 # CONFIG_INPUT_APANEL is not set
 # CONFIG_INPUT_ATI_REMOTE is not set
@@ -1195,6 +1198,7 @@ CONFIG_MODULES=y
 CONFIG_MODULE_UNLOAD=y
 # CONFIG_MODVERSIONS is not set
 # CONFIG_MOUSE_APPLETOUCH is not set
+# CONFIG_MOUSE_GPIO is not set
 # CONFIG_MOUSE_INPORT is not set
 # CONFIG_MOUSE_LOGIBM is not set
 # CONFIG_MOUSE_PC110PAD is not set
@@ -1536,6 +1540,7 @@ CONFIG_NLS_DEFAULT="iso8859-1"
 # CONFIG_NTFS_FS is not set
 # CONFIG_NTFS_RW is not set
 # CONFIG_NVRAM is not set
+# CONFIG_OABI_COMPAT is not set
 # CONFIG_OCFS2_FS is not set
 # CONFIG_OCF_BENCH is not set
 # CONFIG_OCF_C7108 is not set
@@ -1549,6 +1554,7 @@ CONFIG_NLS_DEFAULT="iso8859-1"
 # CONFIG_OCF_OCFNULL is not set
 # CONFIG_OCF_SAFE is not set
 # CONFIG_OCF_TALITOS is not set
+# CONFIG_OCF_UBSEC_SSB is not set
 # CONFIG_OMFS_FS is not set
 # CONFIG_OPROFILE is not set
 # CONFIG_OSF_PARTITION is not set
@@ -1694,6 +1700,8 @@ CONFIG_PROC_FS=y
 # CONFIG_PROC_PAGE_MONITOR is not set
 CONFIG_PROC_SYSCTL=y
 # CONFIG_PROFILING is not set
+# CONFIG_PROVE_LOCKING is not set
+# CONFIG_PROVE_RCU is not set
 # CONFIG_QEMU is not set
 # CONFIG_QLA3XXX is not set
 # CONFIG_QNX4FS_FS is not set
@@ -1763,7 +1771,9 @@ CONFIG_RTC_DRV_CMOS=y
 # CONFIG_RTC_DRV_DS1672 is not set
 # CONFIG_RTC_DRV_DS1742 is not set
 # CONFIG_RTC_DRV_DS3234 is not set
+# CONFIG_RTC_DRV_EP93XX is not set
 # CONFIG_RTC_DRV_FM3130 is not set
+# CONFIG_RTC_DRV_GENERIC is not set
 # CONFIG_RTC_DRV_ISL1208 is not set
 # CONFIG_RTC_DRV_M41T80 is not set
 # CONFIG_RTC_DRV_M41T94 is not set
@@ -1775,6 +1785,9 @@ CONFIG_RTC_DRV_CMOS=y
 # CONFIG_RTC_DRV_PCF50606 is not set
 # CONFIG_RTC_DRV_PCF8563 is not set
 # CONFIG_RTC_DRV_PCF8583 is not set
+# CONFIG_RTC_DRV_PL030 is not set
+# CONFIG_RTC_DRV_PL031 is not set
+# CONFIG_RTC_DRV_PS3 is not set
 # CONFIG_RTC_DRV_R9701 is not set
 # CONFIG_RTC_DRV_RS5C348 is not set
 # CONFIG_RTC_DRV_RS5C372 is not set
@@ -2194,6 +2207,7 @@ CONFIG_SQUASHFS_SUPPORT_ZLIB=y
 # CONFIG_SSB_DEBUG is not set
 # CONFIG_SSB_PCMCIAHOST is not set
 CONFIG_SSB_POSSIBLE=y
+# CONFIG_SSB_SDIOHOST is not set
 # CONFIG_SSB_SILENT is not set
 # CONFIG_SSFDC is not set
 CONFIG_STACKTRACE_SUPPORT=y
@@ -2219,7 +2233,7 @@ CONFIG_SWAP=y
 # CONFIG_SYNCLINK_CS is not set
 CONFIG_SYN_COOKIES=y
 CONFIG_SYSCTL=y
-CONFIG_SYSCTL_SYSCALL=y
+# CONFIG_SYSCTL_SYSCALL is not set
 # CONFIG_SYSCTL_SYSCALL_CHECK is not set
 CONFIG_SYSFS=y
 # CONFIG_SYSFS_DEPRECATED is not set