I'm not a lawyer myself. But there are two license related problems here:
1. The HDMI output kernel driver is a binary blob, which is linked with the rest of the GPL licensed code in the kernel. It is unrelated to 3D graphics and Mali, but still something that preferably should be resolved.
2. The Mali userland blob is a proprietary code. There are no GPL problems here because it is living in the userland. And ARM actually has a permissive license for this blob (see http://malideveloper.arm.com/resources/d...e-drivers/ for more details). The only license related problem here is that Allwinner people have removed this ARM's license notice from the package that they passed over to us. I have no idea why they have done this (of course ARM's license notice explicitly forbids removing the license notice from the package), but just adding the missing license notice back should resolve everything.
1. The HDMI output kernel driver is a binary blob, which is linked with the rest of the GPL licensed code in the kernel. It is unrelated to 3D graphics and Mali, but still something that preferably should be resolved.
2. The Mali userland blob is a proprietary code. There are no GPL problems here because it is living in the userland. And ARM actually has a permissive license for this blob (see http://malideveloper.arm.com/resources/d...e-drivers/ for more details). The only license related problem here is that Allwinner people have removed this ARM's license notice from the package that they passed over to us. I have no idea why they have done this (of course ARM's license notice explicitly forbids removing the license notice from the package), but just adding the missing license notice back should resolve everything.