fiasco for ARM

Gernot Heiser gernot at
Sun Oct 30 13:12:55 CET 2005

>>>>> On Sat, 29 Oct 2005 00:53:26 -0700 (PDT), Shakthi Kannan <shakthimaan at> said:
SK> Greetings!
SK> Couple of questions:

SK> 1. Will we be getting an announcement in the mailing
SK> list when fiasco moves with uclibc and dietlibc
SK> without oskit support?

SK> 2. What is the current status of fiasco for ARM (cores
SK> 9 and above)? The FAQ mentions only about x86 with
SK> i486 and above, but, I found some ARM relevant code in
SK> l4sys/include-x2/L4API-l4x2/l4/arm. Is there anyone
SK> working with fiasco for ARM?

Please note that NICTA::Pistachio has an extremely mature and
high-performant commercially-deployed ARM implementation (ARM7/ARM9 at
present, ARM10/ARM11 in progress). A public release is planned within
a week, and unreleased versions are available from the public


Gernot Heiser                       Program Leader
Professor of Operating Systems      Embedded, Real-Time, and Operating Systems
University of New South Wales	    National ICT Australia (NICTA)
Phone: +61 2 8306 0550              Fax:   +61 2 8306 0406

More information about the l4-hackers mailing list