blob: 64e8eb2d81f4d764e85f82d829dee41cf677dc33 [file] [log] [blame]
Andrii Anisov355d1e42020-08-06 12:42:47 +03001CONFIG_ARM=y
2CONFIG_POSITION_INDEPENDENT=y
Anastasiia Lukianenko688d03b2020-08-21 12:10:02 +03003CONFIG_TARGET_XENGUEST_ARM64=y
Simon Glass72cc5382022-10-20 18:22:39 -06004CONFIG_TEXT_BASE=0x40080000
Tom Rinie065fb12021-08-28 21:34:49 -04005CONFIG_SYS_MALLOC_LEN=0x2000000
Tom Rini324cf142022-04-07 12:33:23 -04006CONFIG_SYS_MALLOC_F_LEN=0x400
Tom Rinid391d8b2021-12-11 14:55:51 -05007CONFIG_NR_DRAM_BANKS=1
Tom Rinib3e3fe42021-12-27 13:53:48 +00008CONFIG_DEFAULT_DEVICE_TREE="xenguest-arm64"
Tom Rini914a8c02024-01-03 09:26:16 -05009CONFIG_SYS_BOOTM_LEN=0x800000
Tom Rinic427a582024-10-08 09:18:32 -060010CONFIG_SYS_LOAD_ADDR=0x40000000
11CONFIG_IDENT_STRING=" xenguest"
Andrii Anisov355d1e42020-08-06 12:42:47 +030012CONFIG_BOOTDELAY=10
Tom Rini8d3a5882023-10-02 13:58:20 -040013CONFIG_OF_SYSTEM_SETUP=y
Tom Rini914a8c02024-01-03 09:26:16 -050014CONFIG_SYS_PBSIZE=1051
Tom Rinic4359852023-10-02 10:35:27 -040015CONFIG_SYS_PROMPT="xenguest# "
Anastasiia Lukianenko688d03b2020-08-21 12:10:02 +030016# CONFIG_CMD_BDI is not set
17# CONFIG_CMD_BOOTD is not set
18# CONFIG_CMD_ELF is not set
19# CONFIG_CMD_GO is not set
20# CONFIG_CMD_IMI is not set
21# CONFIG_CMD_XIMG is not set
22# CONFIG_CMD_EXPORTENV is not set
23# CONFIG_CMD_IMPORTENV is not set
24# CONFIG_CMD_EDITENV is not set
25# CONFIG_CMD_SAVEENV is not set
26# CONFIG_CMD_ENV_EXISTS is not set
27# CONFIG_CMD_CRC32 is not set
28# CONFIG_CMD_LZMADEC is not set
29# CONFIG_CMD_UNZIP is not set
30# CONFIG_CMD_LOADB is not set
31# CONFIG_CMD_LOADS is not set
32CONFIG_CMD_PVBLOCK=y
33# CONFIG_CMD_ECHO is not set
34# CONFIG_CMD_ITEST is not set
35# CONFIG_CMD_SOURCE is not set
36# CONFIG_CMD_SETEXPR is not set
Bin Meng7c4f7be2020-10-13 18:45:05 +080037# CONFIG_CMD_SLEEP is not set
Anastasiia Lukianenko4fec7f82020-08-06 12:42:55 +030038CONFIG_CMD_EXT4=y
39CONFIG_CMD_FAT=y
Tom Rinif2a52d72022-11-27 10:24:56 -050040# CONFIG_NET is not set
Andrii Anisov355d1e42020-08-06 12:42:47 +030041# CONFIG_MMC is not set
Andrii Anisov355d1e42020-08-06 12:42:47 +030042# CONFIG_REQUIRE_SERIAL_CONSOLE is not set
Anastasiia Lukianenko688d03b2020-08-21 12:10:02 +030043CONFIG_DM_SERIAL=y