1 /* SPDX-License-Identifier: GPL-2.0+ */
3 * Copyright (C) 2018, Bin Meng <bmeng.cn@gmail.com>
9 #include <linux/sizes.h>
10 #include <samsung/tizen_riscv.h>
12 #define CFG_SYS_SDRAM_BASE 0x80000000
14 #define RISCV_MMODE_TIMERBASE 0x2000000
15 #define RISCV_MMODE_TIMEROFF 0xbff8
16 #define RISCV_MMODE_TIMER_FREQ 1000000
17 #define RISCV_SMODE_TIMER_FREQ 1000000
19 /* Environment options */
21 #define CFG_STD_DEVICES_SETTINGS "stdin=serial,usbkbd\0" \
22 "stdout=serial,vidconsole\0" \
23 "stderr=serial,vidconsole\0"
25 #define BOOT_TARGET_DEVICES(func) \
26 func(VIRTIO, virtio, 0) \
30 #include <config_distro_bootcmd.h>
32 #define CFG_EXTRA_ENV_SETTINGS \
33 CFG_STD_DEVICES_SETTINGS \
35 "fdt_high=0xffffffffffffffff\0" \
36 "initrd_high=0xffffffffffffffff\0" \
37 "kernel_addr_r=0x84000000\0" \
38 "kernel_comp_addr_r=0x88000000\0" \
39 "kernel_comp_size=0x4000000\0" \
40 "fdt_addr_r=0x8c000000\0" \
41 "scriptaddr=0x8c100000\0" \
42 "pxefile_addr_r=0x8c200000\0" \
43 "ramdisk_addr_r=0x8c300000\0" \
46 #endif /* __CONFIG_H */