AW: AW: L4Ka::Pistachio for PowerPC?
"Christian, Martin, OPEE45" <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.l4ka.general |
|---|---|
| Message-ID | <[email protected]> |
Thanks Gernot, very interesting information! It doesn't affect my thesis, however EADS might like the idea of having a company developing Pistachio. Unfortunately the MILES workshop is too far away for my student budget... :-( Would it be possible to get the papers, even without attending? Nice holidays, Martin. -----Ursprüngliche Nachricht----- Von: Gernot Heiser [mailto:[email protected]] Gesendet: Freitag, 22. Dezember 2006 04:37 An: Christian, Martin, OPEE45 Cc: [email protected]; [email protected]; [email protected]; [email protected] Betreff: Re: AW: L4Ka::Pistachio for PowerPC? Sorry for the delayed response... NICTA is spinning out L4 development into Open Kernel Labs (OKL), a company specifically set up to commercialise our microkernel technology. Research in NICTA's ERTOS program will continue to push the state of the art of microkernels and microkernel-based systems. An implication of this is that there is now professional support available for our L4 version, OKL4 (which is what NICTA::L4-embedded is morphing into). Obviously, OKL will charge for such support, but plans on keeping the kernel available as open source. Another implication is that the development is now much stronger driven by market demands. Presently there is strong demand for OKL4 on ARM, x86 and MIPS platforms, so PPC is receiving somewhat less attention. This may change quickly, though. In any case, it isn't true that PPC "wasn't fitted in", in fact, a paper about to be published specifically discusses how PPC-style segmentation can be supported cleanly in the model for the first time (see http://ertos.nicta.com.au/events/07/0116-mikes-program.pml). It is true that we did not maintain the G4 port, and haven't yet released the PPC-embedded port, as this hasn't been a priority until now. We do plan to release a PPC-embedded port, but cannot commit to a date at this time. Gernot -- Gernot Heiser Founder and CTO +61 2 8306 0550 Open Kernel Labs, Inc http://ok-labs.com Professor of Operating Systems Program Leader University of New South Wales Embedded, Real-Time, and Operating Systems Sydney, Australia National ICT Australia (NICTA) http://gernot.web.cse.unsw.edu.au http://ertos.nicta.com.au