David Craven <da...@craven.ch> skribis: > * gnu/packages/linux.scm (kernel-config): Add armhf. > * gnu/packages/linux-libre-4.7-armhf.conf
Cool! Make sure to add the file to gnu/local.mk too. 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. Did you have a chance to test this kernel on a real ARM machine? Thanks, Ludo’.
