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_CBSIZE 1024
31 #define CONFIG_SYS_MAXARGS 64
32 #define CONFIG_SYS_BARGSIZE CONFIG_SYS_CBSIZE
33 #define CONFIG_SYS_PBSIZE (CONFIG_SYS_CBSIZE + \
34 sizeof(CONFIG_SYS_PROMPT) + 16)
36 #define CONFIG_OF_SYSTEM_SETUP
38 #undef CONFIG_EXTRA_ENV_SETTINGS
39 #define CONFIG_EXTRA_ENV_SETTINGS \
40 "loadimage=ext4load pvblock 0 0x90000000 /boot/Image;\0" \
41 "pvblockboot=run loadimage;" \
42 "booti 0x90000000 - 0x88000000;\0"
44 #endif /* __XENGUEST_ARM64_H */