Rockchip USB revisited

[Michael Grunditz]

On Mon, 13 Mar 2023 at 17:59, Michael Grunditz
<michael.grunditz at gmail.com> wrote:
>
> > To cross-check, does the creation of the binary archive
> > bin/arm_v8a/a64_usb_host_drv using the genode-allwinner repository work
> > as it should?
> >
> Thanks for help! It builds ( but no cigar!).  I managed to put a
> comment in a list , so everything failed :-)

Seems like my linux kernel changed paging code.. quite a lot. This
will take some time.
Do you generate the "dep" files automatically? I gave up and added all headers.