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 CFG_SYS_SDRAM_BASE 0x80000000
18 
19 /* ---------------------------------------------------------------------
20  * Board boot configuration
21  */
22 
23 #define CFG_EXTRA_ENV_SETTINGS \
24 	"fdt_addr_r=0x86000000\0" \
25 	"kernel_addr_r=0x80200000\0" \
26 	"image=boot/Image\0" \
27 	"mmcdev=0\0" \
28 	"mmcpart=1\0"
29 
30 #endif/* __CONFIG_H */
31