Not much there but they mention an ARM7 microcontroller. I remember seeing one of their job postings here and they were asking for ARM experience as well.