From 637b64ce7c185891339ae8b78c020a336995b64d Mon Sep 17 00:00:00 2001 From: Vagrant Cascadian Date: Tue, 2 Jun 2020 22:52:05 -0700 Subject: [PATCH] gnu: Add linux-libre-arm64-generic-5.7. * gnu/packages/linux (linux-libre-arm64-generic): New variable. --- gnu/packages/linux.scm | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm index f5329445cf..dc85fe805b 100644 --- a/gnu/packages/linux.scm +++ b/gnu/packages/linux.scm @@ -956,6 +956,18 @@ (define-public linux-libre-arm64-generic-5.6 ("CONFIG_RTC_DRV_RK808" . #t)) %default-extra-linux-options))) +(define-public linux-libre-arm64-generic-5.7 + (make-linux-libre* linux-libre-5.7-version + linux-libre-5.7-source + '("aarch64-linux") + #:defconfig "defconfig" + #:extra-version "arm64-generic" + #:extra-options + (append + `(;; needed to fix the RTC on rockchip platforms + ("CONFIG_RTC_DRV_RK808" . #t)) + %default-extra-linux-options))) + (define-public linux-libre-riscv64-generic (make-linux-libre* linux-libre-version linux-libre-source