On Sat, 29 Oct 2005 00:53:26 -0700 (PDT), Shakthi Kannan shakthimaan@yahoo.com 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 repository.
Gernot
-- Gernot Heiser Program Leader Professor of Operating Systems Embedded, Real-Time, and Operating Systems University of New South Wales National ICT Australia (NICTA) http://gernot.web.cse.unsw.edu.au http://ertos.nicta.com.au Phone: +61 2 8306 0550 Fax: +61 2 8306 0406