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