| CONFIG_EXPERIMENTAL=y |
| # CONFIG_LOCALVERSION_AUTO is not set |
| CONFIG_SYSVIPC=y |
| CONFIG_BSD_PROCESS_ACCT=y |
| CONFIG_BSD_PROCESS_ACCT_V3=y |
| CONFIG_FHANDLE=y |
| CONFIG_NO_HZ=y |
| CONFIG_HIGH_RES_TIMERS=y |
| CONFIG_LOG_BUF_SHIFT=18 |
| CONFIG_CGROUP_FREEZER=y |
| CONFIG_CGROUP_DEVICE=y |
| CONFIG_CPUSETS=y |
| CONFIG_CGROUP_CPUACCT=y |
| CONFIG_RESOURCE_COUNTERS=y |
| CONFIG_CGROUP_PERF=y |
| CONFIG_CFS_BANDWIDTH=y |
| CONFIG_RT_GROUP_SCHED=y |
| CONFIG_NAMESPACES=y |
| CONFIG_SCHED_AUTOGROUP=y |
| CONFIG_RELAY=y |
| CONFIG_BLK_DEV_INITRD=y |
| CONFIG_RD_BZIP2=y |
| CONFIG_RD_LZMA=y |
| CONFIG_RD_XZ=y |
| CONFIG_RD_LZO=y |
| CONFIG_CC_OPTIMIZE_FOR_SIZE=y |
| CONFIG_KALLSYMS_ALL=y |
| CONFIG_EMBEDDED=y |
| # CONFIG_COMPAT_BRK is not set |
| CONFIG_PROFILING=y |
| CONFIG_OPROFILE=y |
| CONFIG_JUMP_LABEL=y |
| # CONFIG_BLOCK is not set |
| CONFIG_ARCH_BCM2835=y |
| CONFIG_PREEMPT_VOLUNTARY=y |
| CONFIG_AEABI=y |
| CONFIG_COMPACTION=y |
| CONFIG_KSM=y |
| CONFIG_DEFAULT_MMAP_MIN_ADDR=65536 |
| CONFIG_CLEANCACHE=y |
| CONFIG_SECCOMP=y |
| CONFIG_CC_STACKPROTECTOR=y |
| CONFIG_KEXEC=y |
| CONFIG_CRASH_DUMP=y |
| CONFIG_VFP=y |
| # CONFIG_CORE_DUMP_DEFAULT_ELF_HEADERS is not set |
| # CONFIG_SUSPEND is not set |
| CONFIG_DEVTMPFS=y |
| CONFIG_DEVTMPFS_MOUNT=y |
| # CONFIG_STANDALONE is not set |
| # CONFIG_INPUT_MOUSEDEV is not set |
| # CONFIG_INPUT_KEYBOARD is not set |
| # CONFIG_INPUT_MOUSE is not set |
| # CONFIG_SERIO is not set |
| # CONFIG_VT is not set |
| # CONFIG_UNIX98_PTYS is not set |
| # CONFIG_LEGACY_PTYS is not set |
| # CONFIG_DEVKMEM is not set |
| CONFIG_SERIAL_AMBA_PL011=y |
| CONFIG_SERIAL_AMBA_PL011_CONSOLE=y |
| CONFIG_TTY_PRINTK=y |
| # CONFIG_HW_RANDOM is not set |
| # CONFIG_HWMON is not set |
| # CONFIG_USB_SUPPORT is not set |
| # CONFIG_IOMMU_SUPPORT is not set |
| # CONFIG_FILE_LOCKING is not set |
| # CONFIG_DNOTIFY is not set |
| # CONFIG_INOTIFY_USER is not set |
| # CONFIG_MISC_FILESYSTEMS is not set |
| CONFIG_PRINTK_TIME=y |
| # CONFIG_ENABLE_WARN_DEPRECATED is not set |
| # CONFIG_ENABLE_MUST_CHECK is not set |
| CONFIG_UNUSED_SYMBOLS=y |
| CONFIG_LOCKUP_DETECTOR=y |
| CONFIG_DEBUG_INFO=y |
| CONFIG_DEBUG_MEMORY_INIT=y |
| CONFIG_BOOT_PRINTK_DELAY=y |
| CONFIG_SCHED_TRACER=y |
| CONFIG_STACK_TRACER=y |
| CONFIG_FUNCTION_PROFILER=y |
| CONFIG_DYNAMIC_DEBUG=y |
| CONFIG_KGDB=y |
| CONFIG_KGDB_KDB=y |
| CONFIG_TEST_KSTRTOX=y |
| CONFIG_STRICT_DEVMEM=y |
| CONFIG_DEBUG_LL=y |
| CONFIG_EARLY_PRINTK=y |
| # CONFIG_XZ_DEC_X86 is not set |
| # CONFIG_XZ_DEC_POWERPC is not set |
| # CONFIG_XZ_DEC_IA64 is not set |
| # CONFIG_XZ_DEC_ARM is not set |
| # CONFIG_XZ_DEC_ARMTHUMB is not set |
| # CONFIG_XZ_DEC_SPARC is not set |
