diff options
| -rw-r--r-- | gnu/packages/linux.scm | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm index cf7a1dc65e..4834aa4dae 100644 --- a/gnu/packages/linux.scm +++ b/gnu/packages/linux.scm @@ -983,18 +983,6 @@ It has been modified to remove all non-free binary blobs.") '("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-arm64-generic-5.8 - (make-linux-libre* linux-libre-5.8-version - linux-libre-5.8-source - '("aarch64-linux") - #:defconfig "defconfig" - #:extra-version "arm64-generic" #:extra-options (append `(;; needed to fix the RTC on rockchip platforms |