Thanks for mentioning my gauge cluster project!
As I posted in the other thread (which you can read more in detail here), Embedded Planet has ported NXP’s Embedded RPC (erpc) library to Mbed-OS some time ago.
One of the intended use cases of this library is multicore systems