L4 implementations

Gernot Heiser gernot at nicta.com.au
Fri Jun 8 06:57:39 CEST 2007

>>>>> 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.

S> 2. I believe OK is using gcc to build OKL4. However is this
S> a custom version of gcc or just the normal 4.x version thats
S> available for everyone else?

Standard GNU tool chains, but other tool chains (eg ARM compilers) are
also supported. Again, check the Open Kernel Labs web site


More information about the l4-hackers mailing list