TWR-VF65GS10, ¿cómo programar? [cerrado]

No puedo hablar por STM32F7xx o Sitara, pero no es necesario que uses Linux integrado para una placa Vybrid VF65.
He estado trabajando con un dispositivo basado en Vybrid durante aproximadamente 3 años y fui responsable de portar el firmware existente desde un Kinetis K70 al Vybrid.
La placa de demostración TWR que está viendo tiene el Vybrid de doble núcleo con los núcleos A5 y M4 en el chip, y no está claro de su pregunta si tiene la intención de usar uno o ambos. En nuestra aplicación, ignoré el M4 porque en nuestro dispositivo de producción estaríamos fabricando solo con la versión A5 del chip.
Nuestro firmware utiliza un sistema operativo muy ligero (CTL de Rowley Crossworks) y hemos escrito todos nuestros propios códigos de controlador de bajo nivel, y aunque no se requiere un sistema operativo de ningún tipo, creo que sería difícil aprovechar un chip. como el Vybrid sin uno.
La mayor curva de aprendizaje para mí cuando hice la transición de un micro más pequeño al Vybrid fue el hecho de que no tiene memoria Flash incorporada, por lo que todo su código vive en un Flash externo (el nuestro tiene QuadSPI externo, pero hay muchas opciones diferentes) .
También tenemos 256 MB de memoria SDRAM DDR externa y, al momento del encendido, todo el código se copia del QuadSPI flash a la RAM externa y se ejecuta desde allí (estamos utilizando la mayoría de las SRAM internas para un framebuffer para nuestra pantalla). < br> Si ya está familiarizado con algo como FreeRTOS y las bibliotecas HAL, no debería tener demasiados problemas para implementarlas en un Vybrid.