> I wonder if it makes sense to have a single “armhf” configuration. My > understanding is that the config is often tweaked for the specific ARM > board that is targeted.
Even worse, it used to be the case that ARM kernels only worked on one specific ARM board. However, the multi configuration is an effort to make it work on any ARM board that uses the given architecture. I didn't try these, however. The multi defconfigs are: multi_v4t_defconfig multi_v5_defconfig multi_v7_defconfig