Development IMX7

Hi,

I develop on IMX7 with WaRP7 board (WaRP7)
In this one there is a dual architecture : ARM® Cortex®-A7 core and ARM® Cortex®-M4 core

I would like used mbed os a the Cortex-M4, any one have already done this. Or, developments are underway one mbed-os ?

Thank you