we don't have specific document for android and FreeRTOS, but you can refer to the enclosed file, and modify the device/fsl/sabresd_7d/BoardConfig.mk and include/configs/mx7dsabresd.h according to the document, and maybe you can find /my_android_sources/kernel_imx/drivers/rpmsg for more detailed information