ETC iOS kernelcache scripts for use with IDA Pro