Besides, iPhone OS is based on XNU kernel, which in turn was based on Mach microkernel. Whatever was not implemented by Mach was taken from BSD.