Hola, si queres saber mas manda un mail o llama por teléfono y pregunta por Walter él seguramente te dará toda la información que precises. Hace unos días me comentaron que ya figuran en la página de Atmel como "Third Party Support".
http://www.atmel.com/products/AT91/thirdparty.aspSaludos !