On Fri, 8 Jun 2007 13:05:36 +1200, "Shams" shams@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