I would have thought iDevices used BSD, since the whole Mach-kernel architecture is BSD based and all iDevices claim to run a Mach-kernel derived OS.

(I am aware there was MkLinux, which was also mach kernel powered, but it had very bloated performance compared to linux.)