The one bit I can't find anywhere in the docs released so far. Is there a communication mechanism between the microcontroller and the main core? It's not har

The one bit I can't find anywhere in the docs released so far. Is there a communication mechanism between the microcontroller and the main core? It's not hard to dangle a micro off of i2c or some other bus, however, I can definitely see the the benefit of an easy prototyping solution combining an beefy (~100k RAM and 100Mhz CPU) real-time micro and a general purpose OS with wifi / bluetooth LE.