]>
Commit | Line | Data |
---|---|---|
0fbd2a82 SDPP |
1 | CONFIG_ARM=y |
2 | CONFIG_SYS_CONFIG_NAME="xilinx_versal_mini" | |
a0aba8a2 | 3 | CONFIG_SYS_ICACHE_OFF=y |
abf8d963 | 4 | CONFIG_COUNTER_FREQUENCY=100000000 |
0fbd2a82 SDPP |
5 | CONFIG_ARCH_VERSAL=y |
6 | CONFIG_SYS_TEXT_BASE=0x10000 | |
9802154a | 7 | CONFIG_SYS_MALLOC_LEN=0x80000 |
e0568924 | 8 | CONFIG_SYS_MALLOC_F_LEN=0x400 |
554e5514 | 9 | CONFIG_NR_DRAM_BANKS=1 |
0fbd2a82 | 10 | CONFIG_ENV_SIZE=0x80 |
2bba7807 | 11 | CONFIG_DEFAULT_DEVICE_TREE="versal-mini-emmc0" |
b82d520c | 12 | # CONFIG_PSCI_RESET is not set |
d46e86d2 | 13 | CONFIG_SYS_LOAD_ADDR=0x8000000 |
b82d520c | 14 | # CONFIG_EXPERT is not set |
a8c281d4 | 15 | CONFIG_REMAKE_ELF=y |
0817daa7 | 16 | # CONFIG_AUTOBOOT is not set |
970bf860 TR |
17 | CONFIG_USE_BOOTCOMMAND=y |
18 | CONFIG_BOOTCOMMAND="run distro_bootcmd" | |
fed6b064 | 19 | CONFIG_SYS_CONSOLE_INFO_QUIET=y |
0fbd2a82 SDPP |
20 | # CONFIG_DISPLAY_CPUINFO is not set |
21 | CONFIG_BOARD_EARLY_INIT_R=y | |
0817daa7 | 22 | # CONFIG_BOARD_LATE_INIT is not set |
15b4aed4 | 23 | CONFIG_CLOCKS=y |
0fbd2a82 SDPP |
24 | # CONFIG_CMDLINE_EDITING is not set |
25 | # CONFIG_AUTO_COMPLETE is not set | |
26 | # CONFIG_SYS_LONGHELP is not set | |
27 | CONFIG_SYS_PROMPT="Versal> " | |
cf493582 | 28 | CONFIG_SYS_MAXARGS=64 |
0fbd2a82 SDPP |
29 | # CONFIG_CMD_BDI is not set |
30 | # CONFIG_CMD_CONSOLE is not set | |
31 | # CONFIG_CMD_BOOTD is not set | |
32 | # CONFIG_CMD_BOOTM is not set | |
33 | # CONFIG_CMD_BOOTI is not set | |
34 | # CONFIG_CMD_ELF is not set | |
35 | # CONFIG_CMD_FDT is not set | |
36 | # CONFIG_CMD_GO is not set | |
37 | # CONFIG_CMD_RUN is not set | |
38 | # CONFIG_CMD_IMI is not set | |
39 | # CONFIG_CMD_XIMG is not set | |
40 | # CONFIG_CMD_EXPORTENV is not set | |
41 | # CONFIG_CMD_IMPORTENV is not set | |
42 | # CONFIG_CMD_EDITENV is not set | |
43 | # CONFIG_CMD_SAVEENV is not set | |
44 | # CONFIG_CMD_ENV_EXISTS is not set | |
45 | # CONFIG_CMD_CRC32 is not set | |
0fbd2a82 SDPP |
46 | # CONFIG_CMD_LOADB is not set |
47 | # CONFIG_CMD_LOADS is not set | |
48 | CONFIG_CMD_MMC=y | |
49 | # CONFIG_CMD_ECHO is not set | |
50 | # CONFIG_CMD_ITEST is not set | |
51 | # CONFIG_CMD_SOURCE is not set | |
52 | # CONFIG_CMD_SETEXPR is not set | |
53 | CONFIG_CMD_FAT=y | |
54 | CONFIG_CMD_FS_GENERIC=y | |
55 | CONFIG_OF_EMBED=y | |
8d8ee47e | 56 | CONFIG_SYS_RELOC_GD_ENV_ADDR=y |
0fbd2a82 SDPP |
57 | # CONFIG_NET is not set |
58 | # CONFIG_DM_WARN is not set | |
59 | # CONFIG_DM_DEVICE_REMOVE is not set | |
0fbd2a82 SDPP |
60 | CONFIG_MMC_SDHCI=y |
61 | CONFIG_MMC_SDHCI_ZYNQ=y | |
c2a38411 | 62 | CONFIG_ARM_DCC=y |
5bbc4dc0 | 63 | CONFIG_FAT_WRITE=y |
d16c9d0b | 64 | # CONFIG_GZIP is not set |
0fbd2a82 | 65 | # CONFIG_EFI_LOADER is not set |