Hi Jookia,
thanks for joining the discussion!
ARM is where I'm hanging around at the moment given there's boards out there with schematics based on long-term chipsets used by the automotive industry. For instance, I'm typing this from an i.MX6 chipset on a Novena board. A lot of the microkernels already have support for this chipset, I'd just need to get the Novena tools running on it. Thanks to etnaviv it has free graphics drivers.
Do you have any concrete plans for Genode on the Novena board?
Cheers Norman