Documentation for how C4 image is built

[jernst]

I'm attempting to understand how the images on https://archdroid.org/en/images/odroidc4/ were built.

There is script https://github.com/archdroid-org/alarm-image-generator/blob/master/platform/c4.sh and I can see the TOBETTER_KERNEL path, but it appears to install kernel linux-odroid-512 rather than linux-odroid-panfrost which I find on the image.

There is no mention of linux-odroid-panfrost in the scripts that I can find. Where does it come from?

Also, how is the boot loader configured / installed?

[jgmdev]

There is no mention of linux-odroid-panfrost in the scripts that I can find. Where does it come from?
At some time in the past while testing various kernel config combinations, that was the one that made it on to the image but later was dropped from the scripts.

If still of interest, updated the image generator to also support building images using a x86_64 host #8. Since mainline kernel support has improved for these boards the generated images will now use the latest linux-aarch64 kernel package by default, the following should be enough to build a minimal c4 image that is also compatible with hc4:

./build.sh build c4