Hello @ompie , We have some documentation on RTOS and RPMSG , maybe it can help you:
Best regards, Josep