TCL script for burning Rascal serial flash

burn-rascal.tcl

set at91bootstrap "resized-boot-at91sam9g20-ek-serialflash2sdram.bin"
set bin ".bin"
set ubootprefix "u-boot-rm00"
#set uboot "$ubootprefix[lindex $argv 0]$bin"
set tf 35; # stupid hack because argv only works from command line
set uboot "$ubootprefix$tf$bin"
set kernel "linux-2.6.36-rascal-2011-11-02.bin"
set sourcedir "C:/Users/brandon/Desktop/My Dropbox/Rascal/Software/useful-binaries/"

puts "### PATHS FOR NEXT BURN ###"
puts "$sourcedir$at91bootstrap"
puts "$sourcedir$uboot"
puts "$sourcedir$kernel"

puts "### BURNING ###"

SERIALFLASH::Init 0
send_file {SerialFlash AT25/AT26} "$sourcedir$at91bootstrap" 0x0 0
send_file {SerialFlash AT25/AT26} "$sourcedir$uboot" 0x10000 0
send_file {SerialFlash AT25/AT26} "$sourcedir$kernel" 0x100000 0