Fiasco and L4Linux for ARM926 (Nokia770)

Gernot Heiser gernot at
Tue Feb 7 10:57:45 CET 2006

>>>>> On Tue, 7 Feb 2006 10:32:09 +0100, Delitsyn Igor <delitsyn at> said:
DI> Hi fellow L4 hackers,
DI> We´d like to port Fiasco kernal to ARM926 processor, which is used in Nokia770 
DI> internet tablet device. Later we plan to run L4Linux on the device as well.
DI> We would really appreciate any recommendations from you on how to proceed and 
DI> links to necessary resources, especially from those who made the porting to 
DI> SA1110 and PXA.

Just in case you didn't know: NICTA::Pistachio-embedded runs on the
ARM926, the SA1110 and PXA, is the fastest kernel available on ARM, is
mature enough to be commercially deployed by Qualcomm, runs Linux, and
is available under a BSD license. See for details.


More information about the l4-hackers mailing list