Re: [seL4] sel4 on Hikey board

26 Jul 2016

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