1 /* SPDX-License-Identifier: GPL-2.0+ */
3 * Copyright 2010-2011 Calxeda, Inc.
9 #define CONFIG_SYS_BOOTMAPSZ (16 << 20)
11 #define CONFIG_SYS_TIMER_RATE (150000000/256)
12 #define CONFIG_SYS_TIMER_COUNTER (0xFFF34000 + 0x4)
13 #define CONFIG_SYS_TIMER_COUNTS_DOWN
15 #define CONFIG_PL011_CLOCK 150000000
17 #define CONFIG_SYS_BOOTCOUNT_LE /* Use little-endian accessors */
19 #define CONFIG_SCSI_AHCI_PLAT
20 #define CONFIG_SYS_SCSI_MAX_SCSI_ID 5
21 #define CONFIG_SYS_SCSI_MAX_LUN 1
22 #define CONFIG_SYS_SCSI_MAX_DEVICE (CONFIG_SYS_SCSI_MAX_SCSI_ID * \
23 CONFIG_SYS_SCSI_MAX_LUN)
25 #define CONFIG_BOOT_RETRY_TIME -1
26 #define CONFIG_RESET_TO_RETRY
29 * Miscellaneous configurable options
31 #define CONFIG_SYS_CBSIZE 1024 /* Console I/O Buffer Size */
32 #define CONFIG_SYS_BARGSIZE CONFIG_SYS_CBSIZE
34 #define CONFIG_SYS_64BIT_LBA
36 /* Environment data setup
38 #define CONFIG_SYS_NVRAM_BASE_ADDR 0xfff88000 /* NVRAM base address */
39 #define CONFIG_SYS_NVRAM_SIZE 0x8000 /* NVRAM size */
41 #define CONFIG_SYS_SDRAM_BASE 0x00000000
42 #define CONFIG_SYS_INIT_SP_ADDR 0x01000000
44 #define CONFIG_EXTRA_ENV_SETTINGS \
45 "fdt_high=0x20000000\0" \
46 "initrd_high=0x20000000\0"