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