Hi , I'm trying to run sel4 on a hikey board, I'm following this wiki https://wiki.sel4.systems/Hardware/HiKey . I'm having issues as the link to the linaro-edk2 patch does not work(asks for some auth) , can someone provide another link or direct me .
Thank you
"rahul" == rahul mahadev rahul.mahadev7@gmail.com writes:
rahul> following this wiki https://wiki.sel4.systems/Hardware/HiKey rahul> . I'm having issues as the link to the linaro-edk2 patch does rahul> not work(asks for some auth) , can someone provide another link rahul> or direct me .
I fixed the broken link. I hope it helps.
Peter C