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:
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