was man auch empfehlen kann (braucht aber viel speicher - lohnt sich sicher nur auf den großen atmels)

http://www.micrium.com/atmel/index.html

auf x86 architektur geht das jedenfalls einwandfrei