question: is there any implementation of fiasco on s2410(samsung arm920tdmi)?

Gernot Heiser gernot at
Mon Nov 10 05:29:01 CET 2008

>>>>> On Sun, 09 Nov 2008 18:52:01 +0800, zhhwu <zhhwu at> said:
z> hi all:
z> i want to migrate a implementation of fiasco to s2410, is there any
z> already existed?

z> i find that there are implementations on SA1110 and PXA. 

z> And i find that the ARM project of Pistachio has status: discontinued.
z> (why ?)

Because the people at NICTA who did the port stopped supporting it in
favour of their own version, NICTA::L4-embedded. This has now morphed
into the commercially-supported OKL4 kernel (see
http://okl4-org). OKL4 is commercially deployed on some 200 million
devices (mostly ARM), so if you're looking for an industrial-strength
L4 kernel for ARM, this is it.


More information about the l4-hackers mailing list