Re: Basic support for HiKey960 & SMP question

Hi Martin!

On 9/20/21 18:44, Martin Decky wrote:
> (2) Manually update the respective components (i.e. src/fiasco, src/l4/mk,
> src/l4/pkg/bootstrap, etc.) from the respective GitHub repositories. Maybe
> I've missed something, but I was unable to find any integration repository
> that would just point to the other repos as submodules or something in that
> style. And I don't know where is the upstream of things like bin/setup.d and
> alike.

Do you need something from the snapshot other than the packages you then 
update from GitHub? 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

Cheers,
Jakub