Hi I am Shaunak Datar, a pre-final year electronics student. Last year in GSoC 2025 I aided in improving the Raspberry Pi 4b BSP with I2C, PWM, DMA and Mailbox. This year I am proposing the project: Adding Framebuffer, SD card and PCIe support to the Raspberry Pi 4b BSP. Here is a proof of work as highlighted by the GSoC Getting Started Guide.
I checked FreeBSD 15 supports sdhci and pci on the raspberry pi 4b. Framebuffer support will be added to the RTEMS BSP as well. Framebuffer is supported through the mailbox property tags interface, support for which was added last year. @opticron is there something I should test before getting started with the proposal?
That sounds great! Keep in mind that we don’t have a release branch of rtems-libbsd that targets 15 yet, so you may need to backport certain changes to the 14 codebase or bring in drivers outside of the FreeBSD import if they’re not in 14 at all.