question: is there any implementation of fiasco on s2410(samsung arm920tdmi)?
hi all: i want to migrate a implementation of fiasco to s2410, is there any already existed? i find that there are implementations on SA1110 and PXA. And i find that the ARM project of Pistachio has status: discontinued. (why ?) best regards! zhhwu
On Sun, 09 Nov 2008 18:52:01 +0800, zhhwu <zhhwu@shu.edu.cn> 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. Gernot
On Sun Nov 09, 2008 at 18:52:01 +0800, zhhwu wrote:
i want to migrate a implementation of fiasco to s2410, is there any already existed?
I have something on my disk for this platform which used to work. Adam -- Adam adam@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/
participants (3)
-
Adam Lackorzynski -
Gernot Heiser -
zhhwu