Re: Basic support for HiKey960 & SMP question

Dear Jakub,

> Do you need something from the snapshot other than the packages you
> then update from GitHub?

Yes, I actually need the gnu-efi package to build the UEFI boot images.

> If you only need the GitHub packages, the tool for
> maintaining all of the individual repos at once is called ham and its
> use is described in our tutorial at:
> 
> https://github.com/kernkonzept/manifest/wiki/BUILDING

OK, thanks for the hint! That actually worked nicely and I can build a
working L4Re both for QEMU and for HiKey960.

Now I have individual repositories [1][2][3][4] that can closely follow the
upstream. Unfortunately, the problem with the additional CPU cores still
persists.

[1] https://github.com/martin-decky/fiasco-hikey960
[2] https://github.com/martin-decky/mk-hikey960
[3] https://github.com/martin-decky/bootstrap-hikey960
[4] https://github.com/martin-decky/L4Re-HiKey960-deploy


Best regards

Martin Decky

_______________________________________________
l4-hackers mailing list
[email protected]
https://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers