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)
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel

Reply via email to