diff options
-rw-r--r-- | gnu/packages/linux.scm | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm index cbb5fdca1b..8a353acb39 100644 --- a/gnu/packages/linux.scm +++ b/gnu/packages/linux.scm @@ -481,21 +481,21 @@ It has been modified to remove all non-free binary blobs.") ("CONFIG_DEVPTS_MULTIPLE_INSTANCES" . #t)) %default-extra-linux-options))) -(define-public linux-libre-arm-generic +(define-public linux-libre-arm-veyron (make-linux-libre %linux-libre-version %linux-libre-hash '("armhf-linux") #:patches %linux-libre-5.1-patches - #:defconfig "multi_v7_defconfig" - #:extra-version "arm-generic")) + #:configuration-file kernel-config-veyron + #:extra-version "arm-veyron")) -(define-public linux-libre-arm-veyron +(define-public linux-libre-arm-generic (make-linux-libre %linux-libre-version %linux-libre-hash '("armhf-linux") #:patches %linux-libre-5.1-patches - #:configuration-file kernel-config-veyron - #:extra-version "arm-veyron")) + #:defconfig "multi_v7_defconfig" + #:extra-version "arm-generic")) (define-public linux-libre-arm-generic-4.19 (make-linux-libre %linux-libre-4.19-version |