What makes you think they aren't providing drivers?
The RPi SoC has an FPU. It also has some limited form of SIMD.
Except for the GPU, which is more open on the Pi.
They don't mention where they got their first batch of chips. It's very likely they got it from some third party since Broadcom doesn't seem to deal in small quantities. When the 3rd party supply dried, they went to Broadcom and were probably told to get lost.
- The GPU documentation, but I've never seen the SGX documentation in any SoC TRM, or for any other GPU
Some documentation is available for the GPU in the Raspberry Pi.
What is the name of this MIPS32 board you speak of?
Windows 8 ran fine with just 1GB on my old netbook.
It's a "software" cache, it's stored in RAM.
I didn't describe anything, and if you still think it's 1080i, then either you didn't understand how it works correctly, or the person who described it to you got it wrong. I posted a link earlier to the game developer's blog where the technique is described in detail: https://www.killzone.com/en_GB...
It doesn't directly come from the previous frame like in an interlaced mode, it's instead generated using information from the 3 previous frames.
Also, the HUD is rendered at full resolution.
It's not. Here's how it works.
It's not 1080i either.
There are 1920 columns in each frame. What's different is how half of those columns are rendered.
Their term is temporal reprojection, which is the most accurate. The scaling term is an incorrect simplification made by the writer. Scaling implies it's a linear tranformation but in this case there's also an element of prediction using the motion buffers.