| /* 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 |
| |
| /* --------------------------------------------------------------------- |
| * 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 */ |