Atmel AVR32 - STK1000 Embedded Linux Start Kit

Distribuidor de esto en españa¿? hasta ahora estaba usando la Fox de acmesystems pero esto le da 50 vueltas :P

Que se sepa, no hay distribuidores para españa pero en la página de Atmel nos indican donde se puede comprar y la mayoría estan en estados unidos.
La lista completa está aqui:
http://www.atmel.com/dyn/products/tools_card.asp?tool_id=3918

Hola que tal pues verán, apenas estoy entrando en el mundo de la programación de AVR’s pues tengo un amigo que esta haciendo su servicio en un LAB de electrónica Se suponía que me enseñaría y que me prestarían una STK500 para empezar, pero resulto que el estaba muy ocupado y que no había de momento tarjetas para utilizar un día moviendo unas cajas en contre una STK1000 nueva. creo yo, la solicitaron para un proyecto pero nunca se uso, en fin pregunte si no había problema en que la usara y nadie dijo que no, así que dispongo de una STK 1000 pero la verdad no se usarla, por eso les quería solicitar su ayuda, habrá manera de que me proporcionaran algún tutorial sobre programación, o ejemplos si se puede basados en esta tarjeta, ya se q esta muy sobrada de momento pero ay que aprovechar XD…..

Hola Ramses,
Que me dices, tenian una de estas tirada sin usar? que poco respeto... hahaha Bueno, por lo de los manuales, creo que en la página de Atmel puedes encontrar alguna información sobre sus características técnicas asi como documentatión diversa acerca de cómo programala. Hechale un ojo y luego nos comentas por aqui tu experiencia con esta estupenda placa.

Un saludo!