Comment by svenpeter

IIRC we know about their internal Linux port because of some comment left in the open source XNU release.