Den sön 16 okt. 2022 00:58Jacek Rużyczka via users <users@lists.genode.org> skrev:Good evening Genodians,in a couple of months I'll receive a number of Mixtile Blade 3 SBCs (based on the RK3588) https://www.crowdsupply.com/mixtile-limited/mixtile-blade-3 and would like to (at least) try to equip them with the Genode OS. What's necessary for my project, is clustering four such nodes with a PCIe switch (supplied by Mixtile; see their web page) as well as using single SBCs as storage nodes, which will be connected to a hard drive.Is it possible to port Genode onto this platform, or is this impossible with the current version? I simply don't wanna start an infaust undertaking. ThankI have plans to start porting to rk3588 pretty soon and would be happy to collaborate. I have a different target, but most work is to get soc supported.BrMichael Grunditz