ARM Port of L4/Linux?

Yann Dirson ydirson at
Thu Jun 3 19:51:26 CEST 2004

Hi Dave,

You'll find more info about L4 for various archs on

L4Ka::Pistachio is also told to work on ARM, but not the 0.3 release AFAIK -

Yann Dirson    <ydirson at> |    Why make M$-Bill richer & richer ?
Debian-related: <dirson at> |   Support Debian GNU/Linux:
Pro:    <yann.dirson at> |  Freedom, Power, Stability, Gratuity        | Check <>

More information about the l4-hackers mailing list