diff options
| author | Vagrant Cascadian <vagrant@debian.org> | 2020-06-02 22:55:19 -0700 |
|---|---|---|
| committer | Vagrant Cascadian <vagrant@debian.org> | 2020-06-08 13:05:51 -0700 |
| commit | 076779c4d4669c7f72c5f04b6d7ba73244478e73 (patch) | |
| tree | 6a60cec43e158992597c22da1bde34b8ef7eee11 /gnu/packages/linux.scm | |
| parent | 637b64ce7c185891339ae8b78c020a336995b64d (diff) | |
gnu: Add linux-libre-arm-generic-5.7.
* gnu/packages/linux (linux-libre-arm-generic): 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 dc85fe805b..19f59d219e 100644 --- a/gnu/packages/linux.scm +++ b/gnu/packages/linux.scm @@ -894,6 +894,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-arm-generic-5.7 + (make-linux-libre* linux-libre-5.7-version + linux-libre-5.7-source + '("armhf-linux") + #:defconfig "multi_v7_defconfig" + #:extra-version "arm-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-arm-veyron (deprecated-package "linux-libre-arm-veyron" linux-libre-arm-generic)) |