ARM endorsing GPL violation by one of its Licensees (Telechips) - TCC8900

[Luke Kenneth Casson Leighton <luke.leighton@gmail.com>]

i'm sure that ARM are aware of this, but i wanted to double-check and
also alert them, so that i know that they're definitely aware of the
issue.

the issue is very simple.  see the following page:

http://www.malideveloper.com/developer-resources/development-boards/telechips-tcc8900-development-platform.php?tab=ORDER%20INFO

it states that an NDA is required.

upon signing the NDA, a Board Support Package is received, comprising
Linux Kernel Source Code, amongst other things.

(a copy of the TCC8900 Linux Kernel Source code was extracted from a
BSP and uploaded here:
https://alioth.debian.org/plugins/scmgit/cgi-bin/gitweb.cgi?p=arm-netbook/arm-netbook.git;a=shortlog;h=refs/heads/tcc8900/v2.6.28/chipper)

forcing people to sign NDAs to receive GPL source code is in direct
violation of the GPL license.

the problem for ARM is that they are responsible for
malideveloper.com.  a whois for malideveloper.com shows:

   NS2.ARM.COM                  217.140.98.10
   NS1.ARM.COM                  217.140.108.113
   NS4.ARM.COM                  217.140.98.25
   NS3.ARM.COM                  217.140.104.130

therefore, it can be concluded that ARM endorses GPL violation.

i would like to know what ARM is going to be doing about this situation.

l.