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..

Regards

Ashok