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: https://github.com/lupyuen/pinephone-nuttx#apache-nuttx-rtos-for-pinephone Lup On Thu, Jul 20, 2023 at 7:18 AM Joseph Gonzalez wrote: > 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 > > > >
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 > 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 >
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: https://datasheets.raspberrypi.com/bcm2711/bcm2711-peripherals.pdf 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/ 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. Beaglebone Black is another supported SBC option. Also the older pcDuino SBC.
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 ARM64 processor (see, for example, the port to PinePhone), but does not support the RPi 4 *yet* because no one has written the necessary board support for it yet. This is a platform that I would very much like to see NuttX running on, specifically the RPi CM4 (Raspberry Pi Compute Model 4), as that seems like a perfect and very powerful processor for real-time embedded applications. Currently, use of a RPi CM4 requires a full-blown OS like FreeBSD or Linux, with all the goodies they include but also with all the overhead, and perhaps more importantly, without real-time. (I tried and wasn't successful getting a Linux kernel built with the real time patch set for this processor.) Cheers, Nathan
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 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
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.
