Gernot Heiser wrote:
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.
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 -- 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@os.inf.tu-dresden.de Web: http://os.inf.tu-dresden.de/~voelp