1CONFIG_ARM=y
2CONFIG_TEGRA=y
3CONFIG_TEGRA124=y
4CONFIG_TARGET_APALIS_TK1=y
5CONFIG_DEFAULT_DEVICE_TREE="tegra124-apalis"
6CONFIG_FIT=y
7CONFIG_OF_SYSTEM_SETUP=y
8CONFIG_BOOTDELAY=1
9CONFIG_CONSOLE_MUX=y
10CONFIG_SYS_STDIO_DEREGISTER=y
11CONFIG_VERSION_VARIABLE=y
12# CONFIG_DISPLAY_BOARDINFO is not set
13CONFIG_SYS_PROMPT="Apalis TK1 # "
14# CONFIG_CMD_IMI is not set
15# CONFIG_CMD_IMLS is not set
16CONFIG_CMD_DFU=y
17# CONFIG_CMD_FLASH is not set
18# CONFIG_CMD_FPGA is not set
19CONFIG_CMD_GPIO=y
20CONFIG_CMD_I2C=y
21CONFIG_CMD_MMC=y
22CONFIG_CMD_PCI=y
23CONFIG_CMD_USB=y
24CONFIG_CMD_USB_MASS_STORAGE=y
25# CONFIG_CMD_NFS is not set
26CONFIG_CMD_EXT4_WRITE=y
27# CONFIG_SPL_DOS_PARTITION is not set
28# CONFIG_SPL_ISO_PARTITION is not set
29# CONFIG_SPL_EFI_PARTITION is not set
30CONFIG_OF_LIVE=y
31CONFIG_SPL_DM=y
32CONFIG_DFU_MMC=y
33CONFIG_DFU_RAM=y
34CONFIG_TEGRA124_MMC_DISABLE_EXT_LOOPBACK=y
35CONFIG_E1000=y
36CONFIG_PCI=y
37CONFIG_DM_PCI=y
38CONFIG_DM_PCI_COMPAT=y
39CONFIG_PCI_TEGRA=y
40CONFIG_DM_PMIC=y
41CONFIG_PMIC_AS3722=y
42CONFIG_DM_REGULATOR=y
43CONFIG_REGULATOR_AS3722=y
44CONFIG_SYS_NS16550=y
45CONFIG_USB=y
46CONFIG_DM_USB=y
47CONFIG_USB_EHCI_HCD=y
48CONFIG_USB_STORAGE=y
49CONFIG_USB_GADGET=y
50CONFIG_USB_GADGET_MANUFACTURER="Toradex"
51CONFIG_USB_GADGET_VENDOR_NUM=0x1b67
52CONFIG_USB_GADGET_PRODUCT_NUM=0xffff
53CONFIG_CI_UDC=y
54CONFIG_USB_GADGET_DOWNLOAD=y
55CONFIG_OF_LIBFDT_OVERLAY=y
56