| /* SPDX-License-Identifier: GPL-2.0+ |
| * (C) Copyright 2020 EPAM Systemc Inc. |
| #ifndef __XENGUEST_ARM64_H |
| #define __XENGUEST_ARM64_H |
| #define CFG_EXTRA_ENV_SETTINGS |
| #undef CFG_SYS_SDRAM_BASE |
| #undef CFG_EXTRA_ENV_SETTINGS |
| #define CFG_EXTRA_ENV_SETTINGS \ |
| "virtioboot=virtio scan; ext4load virtio 0 0x90000000 /boot/Image;" \ |
| "booti 0x90000000 - ${fdtcontroladdr};\0" |
| #define CFG_EXTRA_ENV_SETTINGS \ |
| "pvblockboot=ext4load pvblock 0 0x90000000 /boot/Image;" \ |
| "booti 0x90000000 - 0x88000000;\0" |
| #endif /* __XENGUEST_ARM64_H */ |