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_BOARD_EARLY_INIT_F
14 #define CONFIG_EXTRA_ENV_SETTINGS
16 #undef CONFIG_NR_DRAM_BANKS
17 #undef CONFIG_SYS_SDRAM_BASE
19 #define CONFIG_NR_DRAM_BANKS 1
22 * This can be any arbitrary address as we are using PIE, but
23 * please note, that CONFIG_SYS_TEXT_BASE must match the below.
25 #define CONFIG_SYS_LOAD_ADDR 0x40000000
26 #define CONFIG_LNX_KRNL_IMG_TEXT_OFFSET_BASE CONFIG_SYS_LOAD_ADDR
28 /* Size of malloc() pool */
29 #define CONFIG_SYS_MALLOC_LEN (32 * 1024 * 1024)
31 /* Monitor Command Prompt */
32 #define CONFIG_SYS_PROMPT_HUSH_PS2 "> "
33 #define CONFIG_SYS_CBSIZE 1024
34 #define CONFIG_SYS_MAXARGS 64
35 #define CONFIG_SYS_BARGSIZE CONFIG_SYS_CBSIZE
36 #define CONFIG_SYS_PBSIZE (CONFIG_SYS_CBSIZE + \
37 sizeof(CONFIG_SYS_PROMPT) + 16)
39 #define CONFIG_OF_SYSTEM_SETUP
41 #define CONFIG_CMDLINE_TAG 1
42 #define CONFIG_INITRD_TAG 1
44 #define CONFIG_CMD_RUN
46 #undef CONFIG_EXTRA_ENV_SETTINGS
47 #define CONFIG_EXTRA_ENV_SETTINGS \
48 "loadimage=ext4load pvblock 0 0x90000000 /boot/Image;\0" \
49 "pvblockboot=run loadimage;" \
50 "booti 0x90000000 - 0x88000000;\0"
52 #endif /* __XENGUEST_ARM64_H */