Hi,
AVRX ist zum Beispiel ein kostenloses Real Time Multitasking Betriebssystem für die AVRs .
http://www.barello.net/avrx/index.htm