2020-08-06 09:42:47 +00:00
|
|
|
CONFIG_ARM=y
|
|
|
|
CONFIG_POSITION_INDEPENDENT=y
|
2020-08-21 09:10:02 +00:00
|
|
|
CONFIG_TARGET_XENGUEST_ARM64=y
|
2022-10-21 00:22:39 +00:00
|
|
|
CONFIG_TEXT_BASE=0x40080000
|
2021-08-29 01:34:49 +00:00
|
|
|
CONFIG_SYS_MALLOC_LEN=0x2000000
|
2022-04-07 16:33:23 +00:00
|
|
|
CONFIG_SYS_MALLOC_F_LEN=0x400
|
2021-12-11 19:55:51 +00:00
|
|
|
CONFIG_NR_DRAM_BANKS=1
|
2021-12-27 13:53:48 +00:00
|
|
|
CONFIG_DEFAULT_DEVICE_TREE="xenguest-arm64"
|
2020-08-06 09:42:47 +00:00
|
|
|
CONFIG_IDENT_STRING=" xenguest"
|
2021-08-23 14:25:31 +00:00
|
|
|
CONFIG_SYS_LOAD_ADDR=0x40000000
|
2020-08-06 09:42:47 +00:00
|
|
|
CONFIG_BOOTDELAY=10
|
2023-10-02 17:58:20 +00:00
|
|
|
CONFIG_OF_SYSTEM_SETUP=y
|
2023-10-02 14:35:27 +00:00
|
|
|
CONFIG_SYS_PROMPT="xenguest# "
|
2022-05-11 20:21:06 +00:00
|
|
|
CONFIG_SYS_MAXARGS=64
|
2022-05-11 21:38:09 +00:00
|
|
|
CONFIG_SYS_PBSIZE=1051
|
2020-08-21 09:10:02 +00:00
|
|
|
# CONFIG_CMD_BDI is not set
|
|
|
|
# CONFIG_CMD_BOOTD is not set
|
2022-06-25 23:29:46 +00:00
|
|
|
CONFIG_SYS_BOOTM_LEN=0x800000
|
2020-08-21 09:10:02 +00:00
|
|
|
# CONFIG_CMD_ELF is not set
|
|
|
|
# CONFIG_CMD_GO is not set
|
|
|
|
# CONFIG_CMD_IMI is not set
|
|
|
|
# CONFIG_CMD_XIMG is not set
|
|
|
|
# CONFIG_CMD_EXPORTENV is not set
|
|
|
|
# CONFIG_CMD_IMPORTENV is not set
|
|
|
|
# CONFIG_CMD_EDITENV is not set
|
|
|
|
# CONFIG_CMD_SAVEENV is not set
|
|
|
|
# CONFIG_CMD_ENV_EXISTS is not set
|
|
|
|
# CONFIG_CMD_CRC32 is not set
|
|
|
|
# CONFIG_CMD_LZMADEC is not set
|
|
|
|
# CONFIG_CMD_UNZIP is not set
|
|
|
|
# CONFIG_CMD_LOADB is not set
|
|
|
|
# CONFIG_CMD_LOADS is not set
|
|
|
|
CONFIG_CMD_PVBLOCK=y
|
|
|
|
# CONFIG_CMD_ECHO is not set
|
|
|
|
# CONFIG_CMD_ITEST is not set
|
|
|
|
# CONFIG_CMD_SOURCE is not set
|
|
|
|
# CONFIG_CMD_SETEXPR is not set
|
2020-10-13 10:45:05 +00:00
|
|
|
# CONFIG_CMD_SLEEP is not set
|
2020-08-06 09:42:55 +00:00
|
|
|
CONFIG_CMD_EXT4=y
|
|
|
|
CONFIG_CMD_FAT=y
|
2022-11-27 15:24:56 +00:00
|
|
|
# CONFIG_NET is not set
|
2020-08-06 09:42:47 +00:00
|
|
|
# CONFIG_MMC is not set
|
|
|
|
# CONFIG_REQUIRE_SERIAL_CONSOLE is not set
|
2020-08-21 09:10:02 +00:00
|
|
|
CONFIG_DM_SERIAL=y
|