I'm new here.
First I'm sorry for my english.
I'm now developing a new industrial controller system, and I would
like to use the AVR32 (AP700x, UC3) but i think the linux is not
perfect for me. Because AVR32-AP700X have pixel Coprocessor and some
divece but i ( and some other people) dont see the way for system
correctly working or will not working. I dont think the monolithic
kernel is good in the embedded system.
I now have two ways, port minix to AVR32 or write a simple new os.
I would like to ask your opinion about that.

Thanks for all replay.

Daniel Kiss

P.S: I dont want use FreeRTOS, its not realy real time....