We are running a survey to help us improve the experience for all of our members. If you see the survey appear, please take the time to tell us about your experience if you can.
Changing an entire toolchain just to get a $readmemh compatible file would appear to be a bit extreme. It's perfectly possible to convert a binary from the standard kernel build to a hex file using something like 'od' or 'xxd'.hths.