28 Nov
2024
28 Nov
'24
10:07 a.m.
Hello Patrick,
Though I remember now that I got it with the RK3388 board, any chance that will be supported at some point ?
it would be nice to have support for Rockchip SoCs at some point, but we have no immediate plans for making that happen. There are some community attempts for running Genode on Rockchip boards (e.g. see the user forum) though.
Regards Josef
--
Josef Söntgen
Genode Labs
http://www.genode-labs.com/ · http://genode.org/