include/configs/openpiton-riscv64.h

   1 /* SPDX-License-Identifier: GPL-2.0+ */
   2 /*
   3  * Copyright (c) 2019 Western Digital Corporation or its affiliates.
   4  * Copyright (c) 2021 Tianrui Wei
   5  *
   6  * Authors:
   7  *   Anup Patel <anup.patel@wdc.com>
   8  *   Tianrui Wei <tianrui-wei@outlook.com>
   9  */
  10
  11 #ifndef __OPENPITON_RISCV64_CONFIG_H
  12 #define __OPENPITON_RISCV64_CONFIG_H
  13
  14 #include <linux/sizes.h>
  15
  16 /* Environment options */
  17 #define CONFIG_SYS_SDRAM_BASE 0x80000000
  18 #define CONFIG_SYS_BOOTM_LEN        SZ_256M
  19
  20 #ifdef CONFIG_SPL
  21 #define CONFIG_SPL_BSS_START_ADDR   0x82000000
  22 #define CONFIG_SYS_SPL_MALLOC_START (CONFIG_SPL_BSS_START_ADDR + \
  23                 CONFIG_SPL_BSS_MAX_SIZE)
  24 #define CONFIG_SYS_SPL_MALLOC_SIZE  0x0100000
  25 #define CONFIG_SPL_STACK    (0x80000000 + 0x04000000 - \
  26                 GENERATED_GBL_DATA_SIZE)
  27
  28 #define CONFIG_SPL_GD_ADDR 0x85000000
  29 #endif
  30
  31 /* ---------------------------------------------------------------------
  32  * Board boot configuration
  33  */
  34
  35 #define CONFIG_EXTRA_ENV_SETTINGS \
  36         "fdt_addr_r=0x86000000\0" \
  37         "kernel_addr_r=0x80200000\0" \
  38         "image=boot/Image\0" \
  39         "mmcdev=0\0" \
  40         "mmcpart=1\0"
  41
  42 #endif/* __CONFIG_H */