FreeRTOS and dual core

Kernel
4

Yes, that article points out that Message Buffers can be used between two instances of FreeRTOS running in a Asymmetrical MultiProcessor configuration.