Re: [PATCH 4/5] gnu: kernel-config: Add armhf kernel config.

[Ludovic Courtès]

David Craven <address@hidden> 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’.