/////////////////////////////////////////////////////////////////// KERNEL
# Booting TT with modified hosted u-boot
a 0x20010000
f x-load.bin

// Call a sub from x-load.bin: TT BoardInit (should only work with TT)
a 0x20010da4
c


// Uncomment to send an address to dump from, then dump some memory blocks
//a 0x20000000
//M;M;M;M;M;M;M;M;M;M;M;M;M;M;M;M

// Load updated u-boot.bin
a 0x10280000
f u-boot-updated.bin

a 0x11800000
f uImage.bin

// Send u-boot start address and boot there, u-boot "bootcmd" must has
// fixed to not download kernel from NAND but always boot the kernel
// loaded at 0x11800000 address in RAM
a 0x10280000
b

end
/////////////////////////////////////////////////////////////////// KERNEL END