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
26 Jul
26 Jul
8:33 a.m.
"rahul" == rahul mahadev
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 -- Dr Peter Chubb Tel: +61 2 9490 5852 http://www.data61.csiro.au http://www.ssrg.nicta.com.au Software Systems Research Group/NICTA/Data61
3037
Age (days ago)
3037
Last active (days ago)
1 comments
2 participants
participants (2)
-
Peter Chubb
-
rahul mahadev