SEL4 on Rasperry pi 3

3 Oct 2017

      Hi,

I successfully compiled and run sel4 image for rasperry pi 3. while running it successfully passes all the tests,then it stopped now what? I need to bring sel4 kernel on top of rasperry pi 3... do you guys have any idea or links please share with me..
i am following below link..https://research.csiro.au/tsblog/sel4-raspberry-pi-3/

RegardsAshok

ashokk＠spanidea.com

tags

participants (2)