Hi Ashokk, I believe if you replace the command,
"bootelf 0x10000000" with "go 0x10000000", That should be all that's needed to boot a raw binary image -- lemme know how things go though~ -- Kofi Doku Atuah Kernel engineer DATA61 | CSIRO
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
