@mossmann It would be nice to have a completely "open" microcontroller/processor with no proprietary IP to use that can be sourced by multiple manufacturers, but until then Raspberry Pi seems one of the better options.