blob: f730799fc97fcd71e3a3f58997d5187399f35acc [file] [log] [blame]
Andrii Anisov355d1e42020-08-06 12:42:47 +03001CONFIG_ARM=y
2CONFIG_POSITION_INDEPENDENT=y
3CONFIG_SYS_TEXT_BASE=0x40080000
4CONFIG_SYS_MALLOC_F_LEN=0x2000
5CONFIG_IDENT_STRING=" xenguest"
6CONFIG_TARGET_XENGUEST_ARM64=y
7CONFIG_BOOTDELAY=10
8
9CONFIG_SYS_PROMPT="xenguest# "
10
11CONFIG_CMD_NET=n
12CONFIG_CMD_BDI=n
13CONFIG_CMD_BOOTD=n
14CONFIG_CMD_BOOTEFI=n
15CONFIG_CMD_BOOTEFI_HELLO_COMPILE=n
16CONFIG_CMD_ELF=n
17CONFIG_CMD_GO=n
18CONFIG_CMD_RUN=n
19CONFIG_CMD_IMI=n
20CONFIG_CMD_IMLS=n
21CONFIG_CMD_XIMG=n
22CONFIG_CMD_EXPORTENV=n
23CONFIG_CMD_IMPORTENV=n
24CONFIG_CMD_EDITENV=n
25CONFIG_CMD_ENV_EXISTS=n
26CONFIG_CMD_MEMORY=y
27CONFIG_CMD_CRC32=n
28CONFIG_CMD_DM=n
29CONFIG_CMD_LOADB=n
30CONFIG_CMD_LOADS=n
31CONFIG_CMD_FLASH=n
32CONFIG_CMD_GPT=n
33CONFIG_CMD_FPGA=n
34CONFIG_CMD_ECHO=n
35CONFIG_CMD_ITEST=n
36CONFIG_CMD_SOURCE=n
37CONFIG_CMD_SETEXPR=n
38CONFIG_CMD_MISC=n
39CONFIG_CMD_UNZIP=n
40CONFIG_CMD_LZMADEC=n
41CONFIG_CMD_SAVEENV=n
42CONFIG_CMD_UMS=n
43
44#CONFIG_USB=n
45# CONFIG_ISO_PARTITION is not set
46
47#CONFIG_EFI_PARTITION=y
48# CONFIG_EFI_LOADER is not set
49
50CONFIG_DM=y
51# CONFIG_MMC is not set
52# CONFIG_DM_SERIAL is not set
53# CONFIG_REQUIRE_SERIAL_CONSOLE is not set
54
55CONFIG_OF_BOARD=y
56CONFIG_OF_LIBFDT=y