Regarding the USB host driver, I would suggest to not base it on the old dde_linux version but on our current porting approach [1] [2] [3] [7] [8]. As a reference you could use the Allwinner USB host driver [4]. Stefan will also give a talk about it at FOSDEM'23 [4]. This should make porting easier and you could base the driver on possible vendor kernel sources. The imx repo already contains a DWC3 controller port, but doesn't use the tiny config approach [9]. It still can be used as reference.
[1] http://genodians.org/skalk/2021-04-06-dde-linux-experiments [2] http://genodians.org/skalk/2021-04-08-dde-linux-experiments-1 [3] http://genodians.org/skalk/2021-06-21-dde-linux-experiments-2 [4] https://github.com/genodelabs/genode-allwinner/tree/master/src/drivers/usb_h... [5] https://fosdem.org/2023/schedule/event/ddtransplant/ [6] https://github.com/genodelabs/genode-imx/tree/master/src/drivers/usb_host/im... [7] http://genodians.org/nfeske/2021-09-03-pine-fun-networking [8] http://genodians.org/nfeske/2021-12-21-pine-fun-display [9] https://genodians.org/nfeske/2021-05-12-pine-fun-linux
Thanks for your input on this. I will try this in a week or so. I decided to take a break from coding, since I coded 24/7 from new year to some days ago.
Linux pc is disconnected from power :-)
Michael