> 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_v8/a64_linux_generated.mk
>
> 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
_______________________________________________
Genode users mailing list
[email protected]
https://lists.genode.org/listinfo/users