- idpy-ios-kernel-fix-thumb-segments: helps IDA to correctly set the processor mode (ARM / thumb) for kexts. This way IDA will cover more code.
- idc-ios-boot-args: list all possible boot-args for an iOS kernel (rely on code covered)
It is in my github.
~pod2g