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