L4 implementations

Robert Kaiser rkaiser at sysgo.com
Fri Jun 8 09:42:30 CEST 2007

Hi Marcus

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: 

www.ertos.nicta.com.au/publications/ papers/Kuz_Petters_07.pdf



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 mailing list