1 /* SPDX-License-Identifier: GPL-2.0+
3 * (C) Copyright 2020 EPAM Systemc Inc.
5 #ifndef __XENGUEST_ARM64_H
6 #define __XENGUEST_ARM64_H
9 #include <linux/types.h>
12 #define CONFIG_EXTRA_ENV_SETTINGS
14 #undef CONFIG_NR_DRAM_BANKS
15 #undef CONFIG_SYS_SDRAM_BASE
17 #define CONFIG_NR_DRAM_BANKS 1
20 * This can be any arbitrary address as we are using PIE, but
21 * please note, that CONFIG_SYS_TEXT_BASE must match the below.
23 #define CONFIG_SYS_LOAD_ADDR 0x40000000
24 #define CONFIG_LNX_KRNL_IMG_TEXT_OFFSET_BASE CONFIG_SYS_LOAD_ADDR
26 /* Size of malloc() pool */
27 #define CONFIG_SYS_MALLOC_LEN (32 * 1024 * 1024)
29 /* Monitor Command Prompt */
30 #define CONFIG_SYS_PROMPT_HUSH_PS2 "> "
31 #define CONFIG_SYS_CBSIZE 1024
32 #define CONFIG_SYS_MAXARGS 64
33 #define CONFIG_SYS_BARGSIZE CONFIG_SYS_CBSIZE
34 #define CONFIG_SYS_PBSIZE (CONFIG_SYS_CBSIZE + \
35 sizeof(CONFIG_SYS_PROMPT) + 16)
37 #define CONFIG_OF_SYSTEM_SETUP
39 #define CONFIG_CMDLINE_TAG 1
40 #define CONFIG_INITRD_TAG 1
42 #define CONFIG_CMD_RUN
44 #undef CONFIG_EXTRA_ENV_SETTINGS
45 #define CONFIG_EXTRA_ENV_SETTINGS \
46 "loadimage=ext4load pvblock 0 0x90000000 /boot/Image;\0" \
47 "pvblockboot=run loadimage;" \
48 "booti 0x90000000 - 0x88000000;\0"
50 #endif /* __XENGUEST_ARM64_H */