| CONFIG_ARM=y |
| CONFIG_SKIP_LOWLEVEL_INIT=y |
| CONFIG_COUNTER_FREQUENCY=26000000 |
| CONFIG_ARCH_EXYNOS=y |
| CONFIG_TEXT_BASE=0x40001000 |
| CONFIG_SYS_MALLOC_F_LEN=0x400 |
| CONFIG_ARCH_EXYNOS7=y |
| CONFIG_TARGET_A5Y17LTE=y |
| CONFIG_NR_DRAM_BANKS=12 |
| CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y |
| CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x40200e50 |
| CONFIG_DEFAULT_DEVICE_TREE="exynos78x0-axy17lte" |
| CONFIG_SYS_LOAD_ADDR=0x40001000 |
| CONFIG_FIT=y |
| CONFIG_SYS_BOOTM_LEN=0x2000000 |
| CONFIG_USE_PREBOOT=y |
| CONFIG_PREBOOT="echo Read pressed buttons status;KEY_VOLUMEUP=gpa20;KEY_HOME=gpa17;KEY_VOLUMEDOWN=gpa21;KEY_POWER=gpa00;PRESSED=0;RELEASED=1;if gpio input $KEY_VOLUMEUP; then setenv VOLUME_UP $PRESSED; else setenv VOLUME_UP $RELEASED; fi;if gpio input $KEY_VOLUMEDOWN; then setenv VOLUME_DOWN $PRESSED; else setenv VOLUME_DOWN $RELEASED; fi;if gpio input $KEY_HOME; then setenv HOME $PRESSED; else setenv HOME $RELEASED; fi;if gpio input $KEY_POWER; then setenv POWER $PRESSED; else setenv POWER $RELEASED; fi;" |
| CONFIG_SAVE_PREV_BL_FDT_ADDR=y |
| CONFIG_SAVE_PREV_BL_INITRAMFS_START_ADDR=y |
| CONFIG_SYS_PBSIZE=1024 |
| # CONFIG_DISPLAY_CPUINFO is not set |
| CONFIG_HUSH_PARSER=y |
| CONFIG_CMD_GPIO=y |
| CONFIG_CMD_I2C=y |
| CONFIG_DM_I2C_GPIO=y |