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_LNX_KRNL_IMG_TEXT_OFFSET_BASE CONFIG_SYS_LOAD_ADDR
25 /* Monitor Command Prompt */
26 #define CONFIG_SYS_CBSIZE 1024
27 #define CONFIG_SYS_MAXARGS 64
28 #define CONFIG_SYS_BARGSIZE CONFIG_SYS_CBSIZE
29 #define CONFIG_SYS_PBSIZE (CONFIG_SYS_CBSIZE + \
30 sizeof(CONFIG_SYS_PROMPT) + 16)
32 #define CONFIG_OF_SYSTEM_SETUP
34 #undef CONFIG_EXTRA_ENV_SETTINGS
35 #define CONFIG_EXTRA_ENV_SETTINGS \
36 "loadimage=ext4load pvblock 0 0x90000000 /boot/Image;\0" \
37 "pvblockboot=run loadimage;" \
38 "booti 0x90000000 - 0x88000000;\0"
40 #endif /* __XENGUEST_ARM64_H */