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. Regards -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://twitter.com/GenodeLabs · https://genodians.org/ Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth _______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
