these are from the raspberrypi firmware git example apps that show how to use the videocore for encoding / decoding. I'll try to use them for accessing the a / v decoders. License is 3-Clause BSD and thus compatible with GPLv2.