Slightly offtopic, but is there a tool that will let people decompile the kernel you get from `boot.img`?

I was wondering if there is some other tool that allows people to decompile the android kernel you get from `boot.img`.

I don't know if this terminal output helps, but I'll give it a shot.
`file` tells me that it is `Linux kernel ARM boot executable zImage (little-endian)`.