Rockchip USB revisited

[Michael Grunditz]

> 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