I thought Gonk took bits from Android, but was not a direct copy of the kernel.