1CONFIG_NO_HZ_IDLE=y 2CONFIG_HIGH_RES_TIMERS=y 3CONFIG_LOG_BUF_SHIFT=16 4CONFIG_BLK_DEV_INITRD=y 5CONFIG_CC_OPTIMIZE_FOR_SIZE=y 6# CONFIG_UID16 is not set 7# CONFIG_BASE_FULL is not set 8# CONFIG_FUTEX is not set 9# CONFIG_EPOLL is not set 10# CONFIG_SIGNALFD is not set 11# CONFIG_EVENTFD is not set 12# CONFIG_AIO is not set 13CONFIG_EMBEDDED=y 14# CONFIG_VM_EVENT_COUNTERS is not set 15# CONFIG_SLUB_DEBUG is not set 16# CONFIG_LBDAF is not set 17# CONFIG_BLK_DEV_BSG is not set 18# CONFIG_IOSCHED_DEADLINE is not set 19# CONFIG_IOSCHED_CFQ is not set 20# CONFIG_MMU is not set 21CONFIG_ARM_SINGLE_ARMV7M=y 22CONFIG_ARCH_STM32=y 23CONFIG_SET_MEM_PARAM=y 24CONFIG_DRAM_BASE=0x90000000 25CONFIG_FLASH_MEM_BASE=0x08000000 26CONFIG_FLASH_SIZE=0x00200000 27CONFIG_PREEMPT=y 28# CONFIG_ATAGS is not set 29CONFIG_ZBOOT_ROM_TEXT=0x0 30CONFIG_ZBOOT_ROM_BSS=0x0 31CONFIG_XIP_KERNEL=y 32CONFIG_XIP_PHYS_ADDR=0x08008000 33CONFIG_BINFMT_FLAT=y 34CONFIG_BINFMT_SHARED_FLAT=y 35# CONFIG_COREDUMP is not set 36CONFIG_DEVTMPFS=y 37CONFIG_DEVTMPFS_MOUNT=y 38# CONFIG_FW_LOADER is not set 39# CONFIG_BLK_DEV is not set 40CONFIG_EEPROM_93CX6=y 41# CONFIG_INPUT is not set 42# CONFIG_SERIO is not set 43# CONFIG_VT is not set 44# CONFIG_UNIX98_PTYS is not set 45# CONFIG_LEGACY_PTYS is not set 46CONFIG_SERIAL_NONSTANDARD=y 47# CONFIG_DEVKMEM is not set 48CONFIG_SERIAL_STM32=y 49CONFIG_SERIAL_STM32_CONSOLE=y 50# CONFIG_HW_RANDOM is not set 51# CONFIG_HWMON is not set 52# CONFIG_USB_SUPPORT is not set 53CONFIG_NEW_LEDS=y 54CONFIG_LEDS_CLASS=y 55CONFIG_LEDS_TRIGGERS=y 56CONFIG_LEDS_TRIGGER_HEARTBEAT=y 57# CONFIG_FILE_LOCKING is not set 58# CONFIG_DNOTIFY is not set 59# CONFIG_INOTIFY_USER is not set 60CONFIG_NLS=y 61CONFIG_PRINTK_TIME=y 62CONFIG_DEBUG_INFO=y 63# CONFIG_ENABLE_WARN_DEPRECATED is not set 64# CONFIG_ENABLE_MUST_CHECK is not set 65CONFIG_MAGIC_SYSRQ=y 66# CONFIG_SCHED_DEBUG is not set 67# CONFIG_DEBUG_BUGVERBOSE is not set 68# CONFIG_FTRACE is not set 69CONFIG_CRC_ITU_T=y 70CONFIG_CRC7=y 71