I wanted to know if anyone has run seL4 on HIkey in this Forum before, I have AOSP running on my board now I want to replace it with seL4 I have two questions regarding these.
- Should I reflash l-loader, fip , ptable
- Can someone explain in few words what l-loader, fip and ptable are.
- Is there a tutorial on creating boot partition for hikey
Thank you