Where to get HEX for the kernel or how to build it?

[paulkrish44 (paulkrish paulkrish)]

I can only load the kernel with HEX. Convert it from .ELF no problem - but where to get it .ELF cores ? How to build it ? vidmate download instasave