include/configs/xenguest_arm64.h

   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 CONFIG_EXTRA_ENV_SETTINGS
  13
  14 #undef CONFIG_SYS_SDRAM_BASE
  15
  16 #undef CONFIG_EXTRA_ENV_SETTINGS
  17 #define CONFIG_EXTRA_ENV_SETTINGS       \
  18         "loadimage=ext4load pvblock 0 0x90000000 /boot/Image;\0" \
  19         "pvblockboot=run loadimage;" \
  20                 "booti 0x90000000 - 0x88000000;\0"
  21
  22 #endif /* __XENGUEST_ARM64_H */