Where is the iOS kernel located in the filesystem?

This may be a very silly question, but it has me stumped:

Where is the iOS kernel located on-disk? 开发者_如何学PythonIs it even located on the filesystem accessible to a jailbroken iOS user?

On production devices, the kernel is always stored as a pre-linked kernelcache stored at /System/Library/Caches/com.apple.kernelcaches/kernelcache. On development devices the kernel is stored in its normal place, at /mach_kernel. On startup, the kernelcache is decompressed and run. Source

The kernel can be found in the .ipsw iOS update files distributed by Apple. There is a kernelcache file in the IMG3 format. Inside this is the kernel (and kernel extensions, concatenated to the end of the kernel base) compressed using LZSS compression.