diff options
| author | Vagrant Cascadian <vagrant@debian.org> | 2020-06-02 22:52:05 -0700 |
|---|---|---|
| committer | Vagrant Cascadian <vagrant@debian.org> | 2020-06-08 13:05:48 -0700 |
| commit | 637b64ce7c185891339ae8b78c020a336995b64d (patch) | |
| tree | ecf3463218bb8b38e2dc1736277304a5520df6fb /gnu/packages | |
| parent | 21569e53b2fcbd00ad458898ad170be6edef315e (diff) | |
gnu: Add linux-libre-arm64-generic-5.7.
* gnu/packages/linux (linux-libre-arm64-generic): New variable.
Diffstat (limited to 'gnu/packages')
| -rw-r--r-- | gnu/packages/linux.scm | 12 |
1 files changed, 12 insertions, 0 deletions
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 @@ It has been modified to remove all non-free binary blobs.") ("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 |