| /* SPDX-License-Identifier: GPL-2.0+ */ |
| /* |
| * Copyright (c) 2019 Western Digital Corporation or its affiliates. |
| * Copyright (c) 2021 Tianrui Wei |
| * |
| * Authors: |
| * Anup Patel <anup.patel@wdc.com> |
| * Tianrui Wei <tianrui-wei@outlook.com> |
| */ |
| |
| #ifndef __OPENPITON_RISCV64_CONFIG_H |
| #define __OPENPITON_RISCV64_CONFIG_H |
| |
| #include <linux/sizes.h> |
| |
| /* Environment options */ |
| #define CONFIG_SYS_SDRAM_BASE 0x80000000 |
| #define CONFIG_SYS_INIT_SP_ADDR (CONFIG_SYS_SDRAM_BASE + SZ_32M) |
| #define CONFIG_SYS_BOOTM_LEN SZ_256M |
| |
| #ifdef CONFIG_SPL |
| #define CONFIG_SPL_BSS_START_ADDR 0x82000000 |
| #define CONFIG_SYS_SPL_MALLOC_START (CONFIG_SPL_BSS_START_ADDR + \ |
| CONFIG_SPL_BSS_MAX_SIZE) |
| #define CONFIG_SYS_SPL_MALLOC_SIZE 0x0100000 |
| #define CONFIG_SPL_STACK (0x80000000 + 0x04000000 - \ |
| GENERATED_GBL_DATA_SIZE) |
| |
| #define CONFIG_SPL_GD_ADDR 0x85000000 |
| #endif |
| |
| /* --------------------------------------------------------------------- |
| * Board boot configuration |
| */ |
| |
| #define CONFIG_EXTRA_ENV_SETTINGS \ |
| "fdt_addr_r=0x86000000\0" \ |
| "kernel_addr_r=0x80200000\0" \ |
| "image=boot/Image\0" \ |
| "mmcdev=0\0" \ |
| "mmcpart=1\0" |
| |
| #endif/* __CONFIG_H */ |