L4 implementations

Marcus Voelp voelp at os.inf.tu-dresden.de
Fri Jun 8 09:08:06 CEST 2007

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.


Marcus Völp

Technische Universität Dresden
Department of Computer Science
Institute for System Architecture 

Tel: +49 (351) 463 38350
Fax: +49 (351) 463 38284

Email: voelp at os.inf.tu-dresden.de
Web: http://os.inf.tu-dresden.de/~voelp

More information about the l4-hackers mailing list