Be aware that it is still a preliminary port and there are lots of improvement to be done. I hope to find time to continue on improving this port, but I’m very busy now . Any contribution/comment is welcome.
I may move files to a dedicated avr32-freertos project on Sourceforge in the next days so that other people can contribute more easely.
I hope one day this port will be good enough to b e added to the "official" FreeRTOS release