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

[VenomousSteam81]

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).

[cfig]

I don't know the internals of linux kernel, so sorry ~