I have NXP/Free-scale Imx6 sabre lite development board. My task is to flash two OS kernels (Linux and RTOS)in such a way that linux runs on core0 and RTOS on core1. I have 1GB DDR3 in which i have to allocate first 128MB for RTOS and rest for LINUX image. How to configure U-boot in this case? core-0 should load