[unusual-name]

It's interesting that they have a Raspberry Pi GPU backend, but neither an ARM backend nor any modern ISA. (such as x86-64, Aarch64, etc.) Is there any example program that actually runs on the rpi gpu? I skimped the website, but it is only mentioned in the release notes.

[lproven]

> Is there any example program that actually runs on the rpi gpu?

ThreadX.

https://en.wikipedia.org/wiki/ThreadX#Products_using_ThreadX

This RTOS, later rebranded Microsoft Azure RTOS, later still made FOSS:

https://www.theregister.com/2023/11/28/microsoft_opens_sourc...

ThreadX is the RasPi firmware. The GPU is the primary processor of the Pi: the ARM cores are essentially just co-processors.

[hmry]

Presumably someone wanted to write an RPi bootloader, which run on the GPU. Several universities have OS programming courses that use old 32-bit RPis. Not sure if anything was actually written though.

[lproven]

> Not sure if anything was actually written though.

The librerpi project

« librerpi is a FOSS boot firmware based on littlekernel for Raspberry Pi boards, it replaces the proprietary boot firmware normally used to boot. »

https://librerpi.github.io/

[rsaxvc]

looks like they never went 64 bit