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/
signature.asc
Description: PGP signature
_______________________________________________ users mailing list -- users@lists.genode.org To unsubscribe send an email to users-le...@lists.genode.org Archived at https://lists.genode.org/mailman3/hyperkitty/list/users@lists.genode.org/message/MXBW4VVTI2H63D4L25XOJX5P4IUGDWTI/
