1 /* SPDX-License-Identifier: GPL-2.0+ */
3 * Copyright (c) 2019 Western Digital Corporation or its affiliates.
6 * Anup Patel <anup.patel@wdc.com>
12 #include <linux/sizes.h>
14 #define CONFIG_SYS_SDRAM_BASE 0x80000000
16 #define CONFIG_SYS_BOOTM_LEN SZ_64M
18 #define CONFIG_STANDALONE_LOAD_ADDR 0x80200000
20 #define RISCV_MMODE_TIMERBASE 0x2000000
21 #define RISCV_MMODE_TIMER_FREQ 1000000
23 #define RISCV_SMODE_TIMER_FREQ 1000000
25 /* Environment options */
27 #define BOOT_TARGET_DEVICES(func) \
32 #include <config_distro_bootcmd.h>
33 #include <environment/distro/sf.h>
35 #define TYPE_GUID_LOADER1 "5B193300-FC78-40CD-8002-E86C45580B47"
36 #define TYPE_GUID_LOADER2 "2E54B353-1271-4842-806F-E436D6AF6985"
37 #define TYPE_GUID_SYSTEM "0FC63DAF-8483-4772-8E79-3D69D8477DE4"
39 #define PARTS_DEFAULT \
40 "name=loader1,start=17K,size=1M,type=${type_guid_gpt_loader1};" \
41 "name=loader2,size=4MB,type=${type_guid_gpt_loader2};" \
42 "name=system,size=-,bootable,type=${type_guid_gpt_system};"
44 #define CONFIG_EXTRA_ENV_SETTINGS \
45 "fdt_high=0xffffffffffffffff\0" \
46 "initrd_high=0xffffffffffffffff\0" \
47 "kernel_addr_r=0x84000000\0" \
48 "kernel_comp_addr_r=0x88000000\0" \
49 "kernel_comp_size=0x4000000\0" \
50 "fdt_addr_r=0x8c000000\0" \
51 "scriptaddr=0x8c100000\0" \
52 "script_offset_f=0x1fff000\0" \
53 "script_size_f=0x1000\0" \
54 "pxefile_addr_r=0x8c200000\0" \
55 "ramdisk_addr_r=0x8c300000\0" \
56 "type_guid_gpt_loader1=" TYPE_GUID_LOADER1 "\0" \
57 "type_guid_gpt_loader2=" TYPE_GUID_LOADER2 "\0" \
58 "type_guid_gpt_system=" TYPE_GUID_SYSTEM "\0" \
59 "partitions=" PARTS_DEFAULT "\0" \
60 "fdtfile=" CONFIG_DEFAULT_FDT_FILE "\0" \
64 #endif /* __CONFIG_H */