| /* SPDX-License-Identifier: GPL-2.0+ |
| * |
| * (C) Copyright 2020 EPAM Systemc Inc. |
| */ |
| #ifndef __XENGUEST_ARM64_H |
| #define __XENGUEST_ARM64_H |
| |
| #ifndef __ASSEMBLY__ |
| #include <linux/types.h> |
| #endif |
| |
| #define CONFIG_EXTRA_ENV_SETTINGS |
| |
| #undef CONFIG_SYS_SDRAM_BASE |
| |
| #define CONFIG_SYS_BARGSIZE CONFIG_SYS_CBSIZE |
| |
| #undef CONFIG_EXTRA_ENV_SETTINGS |
| #define CONFIG_EXTRA_ENV_SETTINGS \ |
| "loadimage=ext4load pvblock 0 0x90000000 /boot/Image;\0" \ |
| "pvblockboot=run loadimage;" \ |
| "booti 0x90000000 - 0x88000000;\0" |
| |
| #endif /* __XENGUEST_ARM64_H */ |