Can Genode run on the Mixtile Blade 3?

Michael Grunditz michael.grunditz at
Sat May 6 12:39:06 CEST 2023

Den lör 6 maj 2023 00:46Jacek Rużyczka <jacek.ruzyczka at>

> 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 ).


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list