configs/tf600t.config

   1 CONFIG_DEFAULT_DEVICE_TREE="tegra30-asus-tf600t"
   2 CONFIG_TRANSFORMER_SPI_BOOT=y
   3 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_mmc1; run bootcmd_mmc0; poweroff;"
   4 CONFIG_USB_GADGET_PRODUCT_NUM=0x4d00