Thanks! Right now only the GRiSP board is officially supported, although the project is made in such a way that new platforms should be easy to add. We're del

Thanks! Right now only the GRiSP board is officially supported, although the project is made in such a way that new platforms should be easy to add. We're deliberately focusing on smaller platforms than the ones you mentioned. If a small Linux kernel can fit together with Erlang, you don't really need the RTEMS combo as much. That being said, we're happy to receive any contributions for other platforms, even larger ones!