Repositories for kernel-default

You can configure individual flags for this package here. The repositories are inherited from the project home:a_faerber:sickhackathon2022:HEAD