Quiero portar un RTOS en la placa STM32F4Disco. Soy un novato en esta área y no puedo entender cómo ajustar las configuraciones de acuerdo con un nuevo objetivo y todo el proceso de adaptación. Así que ahora mismo, necesito entender desde dónde debo comenzar y los recursos que debo pasar para lograr esto. He buscado documentación y guías que enriquecerán el conocimiento de nivel básico en este propósito, pero no pude entender cuál seguir, cuál será el primer paso para profundizar en él, cuál será el flujo de tareas que debo seguir. Además, si necesito aprender algún script o idioma, hágamelo saber.
¿Hay alguien que pueda darme alguna dirección al respecto?
Editar: tengo esta guía pero necesito algún detalle. No estoy tratando de escribir ningún RTOS, solo quiero portar Tizen RT en un nuevo objetivo, es decir, la placa STM32F4Disco.