They have some kind of safe dialect of C that they use for iBoot. Also they're increasingly using Swift for things.