diff options
| -rw-r--r-- | gnu/packages/linux.scm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm index b1bcda5e70..91109c41d9 100644 --- a/gnu/packages/linux.scm +++ b/gnu/packages/linux.scm @@ -739,6 +739,7 @@ corresponding UPSTREAM-SOURCE (an origin), using the given DEBLOB-SCRIPTS." (format p "~a-default~%" ,version))))))) #:allowed-references () #:tests? #f)) + (supported-systems (delete "i586-gnu" %supported-systems)) (home-page "https://www.gnu.org/software/linux-libre/") (synopsis "GNU Linux-Libre kernel headers") (description "Headers of the Linux-Libre kernel.") |