I have a A9X-V4-LIN starter kit and I am looking to boot the M4 core in combination with the A9.
On the Freescale forums I read about the `m4boot` and `m4fastup` commands in u-boot. These seem all to be missing.
Furthermore I also do not find a device tree file similar to `imx6sx-sdb-m4.dts` for the kernel.
So, how can I start the M4 core on your board?