3 CONFIG_SYS_TEXT_BASE=0x80110000
4 CONFIG_DEBUG_UART_BASE=0x70006000
5 CONFIG_DEBUG_UART_CLOCK=408000000
7 CONFIG_TARGET_NYAN_BIG=y
8 CONFIG_DEFAULT_DEVICE_TREE="tegra124-nyan-big"
11 CONFIG_FIT_BEST_MATCH=y
12 CONFIG_OF_SYSTEM_SETUP=y
14 CONFIG_SPL_BOOTSTAGE=y
15 CONFIG_BOOTSTAGE_STASH=y
16 CONFIG_BOOTSTAGE_STASH_ADDR=0x83000000
17 CONFIG_SYS_STDIO_DEREGISTER=y
18 CONFIG_DISPLAY_BOARDINFO_LATE=y
19 CONFIG_SYS_PROMPT="Tegra124 (Nyan-big) # "
20 # CONFIG_CMD_IMI is not set
22 # CONFIG_CMD_FLASH is not set
29 CONFIG_CMD_USB_MASS_STORAGE=y
30 # CONFIG_CMD_SETEXPR is not set
31 # CONFIG_CMD_NFS is not set
34 CONFIG_CMD_BOOTSTAGE=y
36 CONFIG_CMD_REGULATOR=y
39 CONFIG_CMD_EXT4_WRITE=y
40 # CONFIG_SPL_DOS_PARTITION is not set
41 # CONFIG_SPL_EFI_PARTITION is not set
51 CONFIG_SPI_FLASH_WINBOND=y
55 CONFIG_REGULATOR_AS3722=y
56 CONFIG_DM_REGULATOR_FIXED=y
58 CONFIG_DEBUG_UART_SHIFT=2
61 CONFIG_TPM_TIS_INFINEON=y
67 CONFIG_USB_GADGET_MANUFACTURER="NVIDIA"
68 CONFIG_USB_GADGET_VENDOR_NUM=0x0955
69 CONFIG_USB_GADGET_PRODUCT_NUM=0x701a
71 CONFIG_USB_GADGET_DOWNLOAD=y
72 CONFIG_USB_HOST_ETHER=y
73 CONFIG_USB_ETHER_ASIX=y
76 CONFIG_VIDEO_TEGRA124=y
78 CONFIG_CMD_DHRYSTONE=y