Re: [seL4] Reverse back to Original TK1-SOM U-boot

Hi Daniel, You shouldn't have to reflash to boot the original Linux. If you want to, use Nvidia's L4T tool. But try to reset the secure mode booting by doing setenv bootm_boot_mode sec saveenv at the u-boot prompt. This should enable the original kernel to boot. Peter C -- Dr Peter Chubb Tel: +61 2 9490 5852 http://ts.data61.csiro.au/ Trustworthy Systems Group Data61, CSIRO (formerly NICTA)