diff options
| author | Vagrant Cascadian <vagrant@debian.org> | 2020-08-11 14:54:57 -0700 |
|---|---|---|
| committer | Vagrant Cascadian <vagrant@debian.org> | 2020-08-11 15:36:51 -0700 |
| commit | 611d45f690e043575e80f39f1196e7262b39b1cd (patch) | |
| tree | 9d56606be80d40dba2652816493e000758abc4bb /gnu/packages/linux.scm | |
| parent | 489f9909a60ea8d0e083af559c22fe73bb9b492f (diff) | |
gnu: Add linux-libre-arm64-generic at version 5.4.
* gnu/packages/linux (linux-libre-arm64-generic-5.4): New variable.
Diffstat (limited to 'gnu/packages/linux.scm')
| -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 3c91590fde..ca5a4f99b0 100644 --- a/gnu/packages/linux.scm +++ b/gnu/packages/linux.scm @@ -991,6 +991,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.4 + (make-linux-libre* linux-libre-5.4-version + linux-libre-5.4-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 |