What OSGi rutime does ServiceMix Kernel use?

ServiceMix Kernel embeds Apache Felix, an OSGi compliant platform licensed under the Apache Software License, but any compliant OSGi runtime can be used.