Raspberry pi 4 Support

[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?


Best regards, Joseph Gonzalez.