0001 CONFIG_NAMESPACES=y
0002 CONFIG_BLK_DEV_INITRD=y
0003 # CONFIG_RD_BZIP2 is not set
0004 # CONFIG_RD_LZMA is not set
0005 # CONFIG_RD_XZ is not set
0006 # CONFIG_RD_LZ4 is not set
0007 CONFIG_KALLSYMS_ALL=y
0008 CONFIG_EMBEDDED=y
0009 # CONFIG_MMU is not set
0010 CONFIG_ARCH_MXC=y
0011 CONFIG_SOC_VF610=y
0012 CONFIG_SET_MEM_PARAM=y
0013 CONFIG_DRAM_BASE=0x8c000000
0014 CONFIG_FLASH_MEM_BASE=0x8f000000
0015 CONFIG_FLASH_SIZE=0x01000000
0016 CONFIG_CMDLINE="console=/dev/ttyLP2"
0017 CONFIG_XIP_KERNEL=y
0018 CONFIG_XIP_PHYS_ADDR=0x0f000080
0019 # CONFIG_SUSPEND is not set
0020 CONFIG_BINFMT_FLAT=y
0021 CONFIG_BINFMT_ZFLAT=y
0022 # CONFIG_UEVENT_HELPER is not set
0023 # CONFIG_STANDALONE is not set
0024 # CONFIG_PREVENT_FIRMWARE_BUILD is not set
0025 # CONFIG_ALLOW_DEV_COREDUMP is not set
0026 CONFIG_BLK_DEV_RAM=y
0027 CONFIG_BLK_DEV_RAM_COUNT=4
0028 # CONFIG_INPUT_MOUSEDEV is not set
0029 # CONFIG_KEYBOARD_ATKBD is not set
0030 # CONFIG_INPUT_MOUSE is not set
0031 # CONFIG_SERIO is not set
0032 CONFIG_SERIAL_FSL_LPUART=y
0033 CONFIG_SERIAL_FSL_LPUART_CONSOLE=y
0034 # CONFIG_HW_RANDOM is not set
0035 CONFIG_MFD_SYSCON=y
0036 # CONFIG_HID is not set
0037 # CONFIG_USB_SUPPORT is not set
0038 CONFIG_EXT4_FS=y
0039 # CONFIG_MISC_FILESYSTEMS is not set
