| /* 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 CFG_EXTRA_ENV_SETTINGS | |
| #undef CFG_SYS_SDRAM_BASE | |
| #undef CFG_EXTRA_ENV_SETTINGS | |
| #define CFG_EXTRA_ENV_SETTINGS \ | |
| "loadimage=ext4load pvblock 0 0x90000000 /boot/Image;\0" \ | |
| "pvblockboot=run loadimage;" \ | |
| "booti 0x90000000 - 0x88000000;\0" | |
| #endif /* __XENGUEST_ARM64_H */ |