L4 implementations

[Gernot Heiser]

>>>>> 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
http://portal.ok-labs.com/

Gernot