[Developer] AVR32 port?

[Michael LeMay]

Hello,

I have read numerous papers on L4, and have noted that hardware-walked 
page tables have been the source of some difficulties throughout L4's 
past, although L4 certainly has the most clever techniques for solving 
such problems.  Recently, Atmel released the AVR32 architecture with 
software page tables, a Harvard architecture, and even lower typical 
power consumption than ARM cores.  This seems like an interesting 
architecture to target with L4.  I'm curious, do you have any plans for 
looking at it in the future?  Thank you!

 -- Michael