Den mån 30 jan. 2023 15:45Christian Helmuth <christian.helmuth@genode-labs.com> skrev:
Grats Michael,

On Thu, Jan 26, 2023 at 11:51:42 CET, Michael Grunditz wrote:
> I have made a github repo for my Rockchip port.
[...]
> The requirement for running this is a RK3588 board
> with uboot that support USB and HDMI. You need to run
> "usb start" before booting.

Sounds easy to reproduce. Which hardware would you recommend? It seems
the QuartzPro64 is not (resp. no longer) for sale.


https://preorder.pine64.org/ , you need to register in order to get one. The enduser systems 
aren't out yet.

On Qp64 uboot needs a bit of help to convince  the vop ( graphic chip). I am happy to share patch if
someone decides to get a board.


I would like to have help with the build system regarding usb drivers.   

Thanks,
Michael