nds32: Generate SW fpu instruction.
[platform/kernel/u-boot.git] / configs / pico-imx6ul_defconfig
1 CONFIG_ARM=y
2 CONFIG_ARCH_MX6=y
3 CONFIG_SYS_TEXT_BASE=0x87800000
4 CONFIG_SPL_GPIO_SUPPORT=y
5 CONFIG_SPL_LIBCOMMON_SUPPORT=y
6 CONFIG_SPL_LIBGENERIC_SUPPORT=y
7 CONFIG_TARGET_PICO_IMX6UL=y
8 CONFIG_SPL_MMC_SUPPORT=y
9 CONFIG_SPL_SERIAL_SUPPORT=y
10 CONFIG_SPL=y
11 CONFIG_SPL_LIBDISK_SUPPORT=y
12 CONFIG_DISTRO_DEFAULTS=y
13 CONFIG_NR_DRAM_BANKS=1
14 CONFIG_SYS_EXTRA_OPTIONS="IMX_CONFIG=arch/arm/mach-imx/spl_sd.cfg"
15 CONFIG_BOOTDELAY=3
16 CONFIG_BOOTCOMMAND="run findfdt; run finduuid; run distro_bootcmd"
17 CONFIG_DEFAULT_FDT_FILE="ask"
18 CONFIG_BOUNCE_BUFFER=y
19 CONFIG_BOARD_EARLY_INIT_F=y
20 CONFIG_SPL_I2C_SUPPORT=y
21 CONFIG_SPL_USB_HOST_SUPPORT=y
22 CONFIG_SPL_USB_GADGET=y
23 CONFIG_SPL_USB_SDP_SUPPORT=y
24 CONFIG_CMD_BOOTMENU=y
25 CONFIG_CMD_SPL=y
26 CONFIG_CMD_SPL_WRITE_SIZE=0x20000
27 CONFIG_CMD_MEMTEST=y
28 CONFIG_CMD_DFU=y
29 # CONFIG_CMD_FLASH is not set
30 CONFIG_CMD_GPIO=y
31 CONFIG_CMD_GPT=y
32 CONFIG_CMD_MMC=y
33 CONFIG_CMD_USB=y
34 CONFIG_CMD_USB_SDP=y
35 CONFIG_CMD_USB_MASS_STORAGE=y
36 CONFIG_CMD_CACHE=y
37 CONFIG_CMD_EXT4_WRITE=y
38 CONFIG_ENV_IS_IN_MMC=y
39 CONFIG_DFU_MMC=y
40 CONFIG_USB_FUNCTION_FASTBOOT=y
41 CONFIG_FASTBOOT_BUF_SIZE=0x10000000
42 CONFIG_FASTBOOT_FLASH=y
43 CONFIG_FASTBOOT_FLASH_MMC_DEV=0
44 CONFIG_FASTBOOT_CMD_OEM_FORMAT=y
45 CONFIG_FSL_ESDHC=y
46 CONFIG_PHYLIB=y
47 CONFIG_PHY_MICREL=y
48 CONFIG_MII=y
49 CONFIG_USB=y
50 CONFIG_USB_GADGET=y
51 CONFIG_USB_GADGET_MANUFACTURER="FSL"
52 CONFIG_USB_GADGET_VENDOR_NUM=0x0525
53 CONFIG_USB_GADGET_PRODUCT_NUM=0xa4a5
54 CONFIG_CI_UDC=y
55 CONFIG_OF_LIBFDT=y