Re: Raspberry pi 4 Support

Hi Joseph: I think we could follow the same porting steps as I did for PinePhone? (Allwinner A64 / Cortex-A53) We started by booting NuttX with the U-Boot Bootloader: https://lupyuen.github.io/articles/uboot Then we built up the NuttX Drivers. Check out the articles here:

Re: Raspberry pi 4 Support

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 >

Re: Raspberry pi 4 Support

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. All true, but there are a few documents floating around like:

Re: Raspberry pi 4 Support

On Wed, Jul 19, 2023 at 1:05 PM Joseph Gonzalez wrote: > > 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. Hello Joseph, Not yet... NuttX supports the

Re: Raspberry pi 4 Support

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

Raspberry pi 4 Support

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.