about L4Linux supporting for 312MHz Intel XScale Bulverde (PXA270) processor

[benjl at cse.unsw.edu.au]

On Wed Oct 18, 2006 at 10:20:25 -0400, Wenbin Zhang wrote:
>Hello,
>
>I notice in the L4Linux website, you mentioned that
>
>The ARM port currently runs on the following platforms:
>
>    * PLEB
>          The University of New South Wales' embedded hardware
>          * Supports both PLEB1 (SA1100) and PLEB2 (XScale PXA255)
>
>    * TuxScreen - StrongARM based phone platform.
>    * Intel's IDXP450 Xscale development platform (XScale IXP450).
>
>Now I have a Motorola E680i cell phone, it is using 312MHz Intel XScale
>Bulverde (PXA270) processor, which is using the 5th generation of the ARM
>architecture. Is it supported by L4Linux currently?

Our port also has support for the PXA270. Note that our port is different to
L4Linux.

Cheers,

Ben