Ok, I get what you're saying. You're right that the VC4 is the main selling point of the chip. Regarding image and video decoding...well, we do have OpenMAX which is a Khronos standard. It's just pretty horrific for normal people to use. GStreamer 1.0 supports the Raspberry Pi, and v4l support is in development for the camera.