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