I'm returning to my original question as I've now got the chance to get a Mixtile board within a month or so. I've read a thread about Genode being ported to the Pinephone Explorer. Is it based on the
RK3399S, not on the RK3588, right? I also wonder how the so-called U.2 interface /* in fact it's necessary to use an adapter board to attach a U.2 drive */ will work with Genode.
My RK3588 port probably works on your board. It requires that uboot sets up the graphics chip and usb is not supported in my github repo.
It is possible to get usb and I am happy to share how it can be done. However, it is a hack that never will end up on github.
U.2 would require working pcie ( I guess ).
Michael