Hi Marcus
Am Freitag, 8. Juni 2007 09:08 schrieb Marcus Voelp:
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.
Thanks for bringing this up. In fact, P4 (which is also referred to as the "PikeOS microkernel" in more recent documents) is a subset to L4 in some respects as well as a superset in some others -- it's just "different".
I presented a paper at the MIKES 2007 Workshop about the kernel's evolution from a full L4 V2.0 API clone to what it is today. The proceedings of the workshop (including that paper) are on NICTA's web site:
www.ertos.nicta.com.au/publications/ papers/Kuz_Petters_07.pdf
Cheers
Rob