But a lot of them use GCC, too. Atmel, for example.