hello. i am using iMX6 SABRESD board. i need FreeRTOS and Linux systems for this board loaded in RAM (DDR). Linux is placed at the beginning of RAM and FreeRTOS in the second half. Then first u-boot ups m4 core (FreeRTOS) and it works fine till Linux starts and m4 loses its console. I can see that a fault occures when Linux initializes NVIC. The intended for m4 serial device is disabled in the device tree (using of m4 dts file). I would like to know what is correct way work with two systmes at the same time.