In the genode-allwinner repository, the Linux kernel's config step happens via the 'a64_linux_generated' pseudo library [1].
[1] https://github.com/genodelabs/genode-allwinner/blob/master/lib/mk/spec/arm_v...
If a target has 'a64_lx_emul' added to the 'LIBS' variable, the corresponding import file implicitly adds the 'a64_linux_generated' library [2].
Yes I got that..If I do build the linux kernel it works. The problem is that when it tries to use source tree from "depot" iit isn't configured. I haven't refactored the sources yet (everything is named a64) and this is the output I get:
checking library dependencies... Library a64_linux MERGE a64_linux.lib.a Library a64_linux_generated MERGE a64_linux_generated.lib.a CONFIG Linux [Linux] /home/micken/oldhome/micken/src/new/genode/depot/genodelabs/api/a64_linux/2023-03-13/src/linux/ Makefile:621: arch/arm64/Makefile: No such file or directory [Linux] make[9]: *** No rule to make target 'arch/arm64/Makefile'. Stop. [Linux] make[8]: *** [Makefile:185: __sub-make] Error 2