[Developer] AVR32 port?

[Carl van Schaik]

Hey Michael,

I took a look at the AVR32, looks pretty cool and has a nice MMU model 
;-)  Its a software manages TLB which should be fairly simple to handle.

regards,
Carl

Michael LeMay wrote:
> 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
>
>
> _______________________________________________
> Developer mailing list
> Developer at okl4.org
> https://lists.okl4.org/mailman/listinfo/developer
>
>