L4 implementations

[Shams]

Thanks for the info.

1. After reading up on http://www.ok-labs.com/ I still couldn't find the 
following info.

Does OKL4 only run on ERTOS or can it run on other architectures like 
L4.Pistachio
eg. PowerPC, IA32, IA64, see: http://l4ka.org/projects/pistachio/?

2. Since OKL4 is evolving as a commercial project (and being a descendant of 
L4.Pistachio)
how much contribution is OKL4 making back to the L4 community in particular 
L4.Pistachio
in terms of API, ABI, Architecture, Documentation etc, I mean for 
significant commercial
improvements to OKL4 are most/some of them integrated back into 
L4-V4/.Pistachio?

3. Also if L4-V4/L4.Pistachio evolves then doe the changes get followed 
through into
OKL4.

4. So OKL4 can be used commercially or in a research environment (free of 
charge) but if one
wants commercial support/development then they have to pay for it, right? 
Sorry just getting my
BSD license understanding clarified.

Thanks
Shams