According to this reply I received on the “New Features” thread, it seems support for the dual core functionality isn’t coming soon, if ever.
Once the board is supported we will probably be able to run Mbed on one core.
Once it is supported, I will personally try to use Mbed on one core for all my RTOS functionality and manually put computationally intensive operations on the other core using the official SDK for the board/chip. I guess they provide mutexes and stuff so we’ll see how hard that would be.