25 Jul
2016
25 Jul
'16
11:57 p.m.
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
3530
Age (days ago)
3530
Last active (days ago)
1 comments
2 participants
participants (2)
-
Peter Chubb -
rahul mahadev