rkaiser at sysgo.com
Fri Jun 8 09:42:30 CEST 2007
Am Freitag, 8. Juni 2007 09:08 schrieb Marcus Voelp:
> Gernot Heiser wrote:
> >>>>>> On Fri, 8 Jun 2007 13:05:36 +1200, "Shams" <shams at orcon.net.nz>
> >>>>>> said:
> > S> Hi,
> > S> 1. Also is OKL4 the one and only commercially implementaed
> > S> and supported version of L4?
> > Depends what you call "commercially implementaed". I understand that
> > Pistachio and Fiasco are used in some commercial projects, and there
> > are commercial (closed-source) L4 clones. However, I'm not aware of
> > any company specifically providing professional support for any other
> > open-source L4 versions.
> There is another commercial version of L4, which however only implements
> a subset of the API: P4. This is a closed source solution by SysGo: At
> www.sysgo.com follow the PikeOS link in Products for more information.
Thanks for bringing this up. In fact, P4 (which is also referred to as the
"PikeOS microkernel" in more recent documents) is a subset to L4 in some
respects as well as a superset in some others -- it's just "different".
I presented a paper at the MIKES 2007 Workshop about the kernel's evolution
from a full L4 V2.0 API clone to what it is today. The proceedings of the
workshop (including that paper) are on NICTA's web site:
Robert Kaiser email: rkaiser at sysgo.com
Am Pfaffenstein 14 phone: (49) 6136 9948-0
D-55270 Klein-Winternheim / Germany fax: (49) 6136 9948-10
Handelsregister: HRB Mainz 90 HRB 8066
Vorstand: Knut Degen, Robert Kaiser, Detlev Schaadt
Aufsichtsratsvorsitzender: Dr. Thomas Hoch
USt(VAT)-Id-Nr.: DE 149062328
More information about the l4-hackers