Hi Muneeswaran,

Well, about here is where we're (quickly) approaching the limits of my usefulness: I have never personally worked with the TX1 board, and I don't know how to flash a u-boot image onto it.

If you're talking though, about trying to get an seL4 kernel image to run on the CPU, then that shouldn't require you to flash anything. Assuming there is already a working, viable u-boot installed on your TX1, you should be able to boot the seL4 kernel using fastboot, TFTP, or boot it from an SD card or USB flash drive. I cannot comment on which of these methods is available on your TX1 board, because again: I have no experience with the TX1 platform. But I'm pretty confident that you at least shouldn't have to flash anything to boot seL4 on your board *assuming* you already have u-boot flashed onto it.

Kofi Doku Atuah
Kernel engineer
DATA61 | CSIRO