2 CONFIG_SKIP_LOWLEVEL_INIT=y
3 CONFIG_COUNTER_FREQUENCY=26000000
5 CONFIG_TEXT_BASE=0x40001000
6 CONFIG_SYS_MALLOC_F_LEN=0x400
8 CONFIG_TARGET_A7Y17LTE=y
9 CONFIG_NR_DRAM_BANKS=12
10 CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y
11 CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x40200e50
12 CONFIG_DEFAULT_DEVICE_TREE="exynos78x0-axy17lte"
13 CONFIG_SYS_BOOTM_LEN=0x2000000
14 CONFIG_SYS_LOAD_ADDR=0x40001000
17 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;"
18 CONFIG_SAVE_PREV_BL_FDT_ADDR=y
19 CONFIG_SAVE_PREV_BL_INITRAMFS_START_ADDR=y
20 CONFIG_SYS_PBSIZE=1024
21 # CONFIG_DISPLAY_CPUINFO is not set