2 CONFIG_SKIP_LOWLEVEL_INIT=y
3 CONFIG_SYS_DCACHE_OFF=y
4 CONFIG_SYS_THUMB_BUILD=y
6 CONFIG_TEXT_BASE=0x00008000
7 CONFIG_SYS_MALLOC_LEN=0x80000
8 CONFIG_SYS_MALLOC_F_LEN=0x400
10 CONFIG_ENV_SIZE=0x2000
11 CONFIG_DEFAULT_DEVICE_TREE="highbank"
12 CONFIG_SYS_BOOTCOUNT_ADDR=0xfff3cf0c
13 CONFIG_SYS_BOOTCOUNT_SINGLEWORD=y
14 CONFIG_SYS_LOAD_ADDR=0x800000
15 CONFIG_ENV_ADDR=0xFFF88000
16 CONFIG_DISTRO_DEFAULTS=y
17 CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y
18 CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x1000000
20 CONFIG_OF_BOARD_SETUP=y
21 CONFIG_AUTOBOOT_KEYED=y
22 CONFIG_AUTOBOOT_PROMPT="Autobooting in %d seconds...\nPress <s> to stop or <d> to delay\n"
23 CONFIG_AUTOBOOT_KEYED_CTRLC=y
25 CONFIG_BOOT_RETRY_TIME=-1
26 CONFIG_RESET_TO_RETRY=y
27 # CONFIG_USE_BOOTCOMMAND is not set
28 # CONFIG_DISPLAY_CPUINFO is not set
29 # CONFIG_DISPLAY_BOARDINFO is not set
31 # CONFIG_CMD_SETEXPR is not set
32 CONFIG_ENV_IS_IN_NVRAM=y
34 CONFIG_SYS_64BIT_LBA=y
35 CONFIG_BOOTCOUNT_LIMIT=y
36 # CONFIG_MMC is not set
37 CONFIG_CALXEDA_XGMAC=y
39 CONFIG_SCSI_AHCI_PLAT=y
40 CONFIG_SYS_SCSI_MAX_SCSI_ID=5