On Tue, 7 Feb 2006 10:32:09 +0100, Delitsyn Igor delitsyn@bomail.europe.nokia.com 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 http://www.ertos.nicta.com.au/software/ for details.
Gernot