1/* SPDX-License-Identifier: GPL-2.0+ 2 * 3 * (C) Copyright 2020 EPAM Systemc Inc. 4 */ 5#ifndef __XENGUEST_ARM64_H 6#define __XENGUEST_ARM64_H 7 8#ifndef __ASSEMBLY__ 9#include <linux/types.h> 10#endif 11 12#define CFG_EXTRA_ENV_SETTINGS 13 14#undef CFG_SYS_SDRAM_BASE 15 16#undef CFG_EXTRA_ENV_SETTINGS 17 18#ifdef CONFIG_VIRTIO_BLK 19#define CFG_EXTRA_ENV_SETTINGS \ 20 "virtioboot=virtio scan; ext4load virtio 0 0x90000000 /boot/Image;" \ 21 "booti 0x90000000 - ${fdtcontroladdr};\0" 22#else 23#define CFG_EXTRA_ENV_SETTINGS \ 24 "pvblockboot=ext4load pvblock 0 0x90000000 /boot/Image;" \ 25 "booti 0x90000000 - 0x88000000;\0" 26#endif 27 28#endif /* __XENGUEST_ARM64_H */ 29