| CONFIG_DEFAULT_DEVICE_TREE="tegra30-asus-tf600t" | |
| CONFIG_BOOTCOMMAND="setenv gpio_button 222; if run check_button; then poweroff; fi; setenv gpio_button 132; if run check_button; then echo Starting SPI flash update ...; run update_spi; fi; run bootcmd_usb0; run bootcmd_mmc1; run bootcmd_mmc0; poweroff;" | |
| # CONFIG_I2C_MUX is not set | |
| CONFIG_TEGRA20_SLINK=y | |
| CONFIG_SPI_FLASH_WINBOND=y | |
| CONFIG_USB_GADGET_PRODUCT_NUM=0x4d00 |