Am 19.07.2023 um 18:52 schrieb Joseph Gonzalez:
Hi, I wanted to try out the NuttX RTOS, but didn't saw support for the RPi 4, is this board supported if not is there a way to add support to it?
Raspberry Pi is a difficult target. It is not Open Hardware, and there is a bunch of critical closed-source system software. The Broadcom SOCs are not fully documented.
The RP2040 however is a complete different thing. There is no Broadcom involvement, and the chip seems to be fully documented, and there is a NuttX port.
Or have a look at ST Micro Nuleo boards. Check the documentation before buying.
fchk
