Looking for information on bare-metal interprocessor comm

Bottom line, I want to run some bare metal multi processor kernels, and am looking for information on how to do this.

Any suggestions?

Thanks

Ray

There are Zephyr, RTEMS, and FreeRTOS ports. One or more of them may have multicore support working by now. I’m not a embedded OS expert, so I don’t know the details. But you can find some links (which may be out of date) here