OK, I know that the broadcom 2538 SoC H,264 encoder is not covered by the license agreement in Raspberry Pi
I know it isn't covered by the licence, but I bet a pound to a penny that within 12 months there will be some sort of modification detailed somewhere on a unofficial raspberry resource website to enable and provide drivers to use it.
the fact that the broadcom 2538 chip is only usually available to people people buying it in the millions, getting hold of one from a raspberry pi is not the silliest of idea, the only way to get hold of similar chips in small numbers is to buy hardware that have used the chip, and pull it from the board. When you usually find them in mobile phones, then that can be prohibitively expensive if you are just going to strip the product.
Problem is that the 2835 needs a specific build of software for the Raspi with the codecs statically linked in. You cannot just drag an image from a device which already has the codec.
Principal Software Engineer at Raspberry Pi (Trading) Ltd.
Please direct all questions to the forum, I do not do support via PM.