NuttX speaks of "boards" and not about MCUs. Maybe a dumb question, but does NuttX run on custom made PCB's where one uses the MCU named in "boards"? Or is there something with a bootloader or something? With DFU I can push nuttx.bin right (if the mcu supports it).
Is there some wish to add the STM32F722RET6? And could one make one in NuttX based on a F7 already? Thanks in advance Ben