See the forum post here.
I am very excited to show you all the first results of my single header v3d interface in C for Raspberry Pi 4.
This is a picture of 100,000 randomly colored, evenly spaced triangles rendering at 177 FPS 1080p:

The full example source is here. It is based heavily on the valuable work done here, without which I would not have been able to succeed.
It currently lives in my Circle fork which I talked about in the forums here. I am writing it as a single header which will not use Circle, which means you should be able to pull it into any bare metal project without much difficulty.
The good news is the V3D driver for Pi 5 looks to be very similar, which means this work should benefit both systems.
There is of course plenty left to do, the two most important being:
- Texture sampling
- Shader compilation
If you are interested in helping it would be much appreciated!