Re: [seL4] Loading bin image on RPI3(Remainder)
26 Oct
2017
26 Oct
'17
2:23 p.m.
Hi Ashokk, Thanks for pointing this issue out, and sorry I took so long to get back to you -- I've investigated and come up with a workaround until we can fix the underlying caching problem here: could you try following the instructions on this page? https://wiki.sel4.systems/Hardware/Rpi3#preview There should be a pre-built U-Boot binary image there which should successfully load your seL4 kernel image. Please let me know how things go~ -- Kofi Doku Atuah Kernel engineer DATA61 | CSIRO
2564
Age (days ago)
2564
Last active (days ago)
0 comments
1 participants
participants (1)
-
Kofidoku.Atuah@data61.csiro.au