1 /* SPDX-License-Identifier: GPL-2.0+ */
3 * Copyright (C) 2018, Bin Meng <bmeng.cn@gmail.com>
9 #include <linux/sizes.h>
11 #define CONFIG_SYS_SDRAM_BASE 0x80000000
13 #define CONFIG_SYS_BOOTM_LEN SZ_64M
15 #define CONFIG_STANDALONE_LOAD_ADDR 0x80200000
17 #define RISCV_MMODE_TIMERBASE 0x2000000
18 #define RISCV_MMODE_TIMER_FREQ 1000000
20 #define RISCV_SMODE_TIMER_FREQ 1000000
22 /* Environment options */
24 #ifndef CONFIG_SPL_BUILD
25 #define BOOT_TARGET_DEVICES(func) \
26 func(QEMU, qemu, na) \
27 func(VIRTIO, virtio, 0) \
31 #include <config_distro_bootcmd.h>
33 #define BOOTENV_DEV_QEMU(devtypeu, devtypel, instance) \
35 "if env exists kernel_start; then " \
36 "bootm ${kernel_start} - ${fdtcontroladdr};" \
39 #define BOOTENV_DEV_NAME_QEMU(devtypeu, devtypel, instance) \
42 #define CONFIG_EXTRA_ENV_SETTINGS \
43 "fdt_high=0xffffffffffffffff\0" \
44 "initrd_high=0xffffffffffffffff\0" \
45 "kernel_addr_r=0x84000000\0" \
46 "kernel_comp_addr_r=0x88000000\0" \
47 "kernel_comp_size=0x4000000\0" \
48 "fdt_addr_r=0x8c000000\0" \
49 "scriptaddr=0x8c100000\0" \
50 "pxefile_addr_r=0x8c200000\0" \
51 "ramdisk_addr_r=0x8c300000\0" \
55 #endif /* __CONFIG_H */