4 CONFIG_SYS_EXTRA_OPTIONS="SAMA5D4,SYS_USE_SERIALFLASH"
7 CONFIG_BOOTARGS="console=ttyS0,115200 earlyprintk rw root=/dev/mmcblk0p2 rootfstype=ext4 rootwait quiet lpj=1990656"
8 # CONFIG_DISPLAY_BOARDINFO is not set
9 CONFIG_BOARD_EARLY_INIT_F=y
11 CONFIG_SYS_PROMPT="vinco => "
13 # CONFIG_CMD_IMI is not set
14 # CONFIG_CMD_IMLS is not set
15 # CONFIG_CMD_FLASH is not set
16 # CONFIG_CMD_FPGA is not set
18 # CONFIG_CMD_LOADS is not set
26 CONFIG_ENV_IS_IN_SPI_FLASH=y
29 CONFIG_ETH_DESIGNWARE=y
34 CONFIG_USB_GADGET_ATMEL_USBA=y