Hello.
Maybe I had to say this early, but: We, and Maybe someone else, have own repository with packages. We can/would not merge it with main branch of Genode. We have used directory in root Genode source tree, like dde_linux, before. So, how third party repos should look like in new directory layout?
there are two possible solutions.
First, you could place your own Git repository at '<genode-dir>/repos/'. E.g., 'repos/ksyslabs.git'. (it might be useful to add repos/*.git to the .gitignore file of Genode) Your repository will be automatically scanned for ports.
Alternatively, you may place your repository at any arbitrary place and just create a symlink at <genode-dir>/src/repos/ksyslabs pointing to /your/place/of/choice. To support the symlink variant, I have just added a small fixup commit to the staging branch.
Does that solve your problem?
I think yes. Thank you. I will tell which way we will choose later.