Raspberry pi 4 Support

2023-07-19 Thread 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.

Re: Raspberry pi 4 Support

2023-07-19 Thread Joseph Gonzalez 
Thanks for the info, this seems like a great side project. I am new into BSP 
development. What steps do you think are necessary to bring support to the RPi 
4?

> El 19 jul. 2023, a las 12:13, Gregory Nutt  escribió:
> 
> Support for the RPi zero with the BCM2708 was started and was partially 
> functional, but was never finished:
>> 
>>  * 
>> https://bitbucket.org/patacongo/obsoleted/src/master/nuttx/arch/arm/src/bcm2708/
>>  * https://bitbucket.org/patacongo/obsoleted/src/master/nuttx/configs/pizero/
>> 
> This is, of course, all available in GIT as well.  Commits 
> a0a537a9f0b8acb04c9d4873612d38c9ad35c6d3 and 
> f50ff845108bbe182e5255b3d723f925cb560c30
>