diff options
| -rw-r--r-- | gnu/packages/linux.scm | 41 |
1 files changed, 1 insertions, 40 deletions
diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm index 59bacaddee..cb9e35c011 100644 --- a/gnu/packages/linux.scm +++ b/gnu/packages/linux.scm @@ -1183,7 +1183,7 @@ Linux kernel. It has been modified to remove all non-free binary blobs.") %linux-libre-arm-export-__sync_icache_dcache-patch (search-patch "linux-libre-infodocs-target.patch")))) '("aarch64-linux") - #:defconfig "defconfig" + #:configuration-file kernel-config #:extra-version "mnt-reform" #:extra-options (append @@ -1243,45 +1243,6 @@ Linux kernel. It has been modified to remove all non-free binary blobs.") ("CONFIG_SND_SOC_IMX_HDMI" . m) ;; Enable freescale SOCs ("CONFIG_ARCH_MXC" . #t) - ;; Disable other SOCs - ("CONFIG_ARCH_ACTIONS" . #f) - ("CONFIG_ARCH_SUNXI" . #f) - ("CONFIG_ARCH_ALPINE" . #f) - ("CONFIG_ARCH_APPLE" . #f) - ("CONFIG_ARCH_BCM2835" . #f) - ("CONFIG_ARCH_BCM4908" . #f) - ("CONFIG_ARCH_BCMBCA" . #f) - ("CONFIG_ARCH_BCM_IPROC" . #f) - ("CONFIG_ARCH_BCMBCA" . #f) - ("CONFIG_ARCH_BERLIN" . #f) - ("CONFIG_ARCH_BRCMSTB" . #f) - ("CONFIG_ARCH_EXYNOS" . #f) - ("CONFIG_ARCH_K3" . #f) - ("CONFIG_ARCH_LAYERSCAPE" . #f) - ("CONFIG_ARCH_LG1K" . #f) - ("CONFIG_ARCH_HISI" . #f) - ("CONFIG_ARCH_KEEMBAY" . #f) - ("CONFIG_ARCH_MEDIATEK" . #f) - ("CONFIG_ARCH_MESON" . #f) - ("CONFIG_ARCH_MVEBU" . #f) - ("CONFIG_ARCH_NPCM" . #f) - ("CONFIG_ARCH_QCOM" . #f) - ("CONFIG_ARCH_RENESAS" . #f) - ("CONFIG_ARCH_ROCKCHIP" . #f) - ("CONFIG_ARCH_S32" . #f) - ("CONFIG_ARCH_SEATTLE" . #f) - ("CONFIG_ARCH_INTEL_SOCFPGA" . #f) - ("CONFIG_ARCH_SYNQUACER" . #f) - ("CONFIG_ARCH_TEGRA" . #f) - ("CONFIG_ARCH_TESLA_FSD" . #f) - ("CONFIG_ARCH_SPRD" . #f) - ("CONFIG_ARCH_THUNDER" . #f) - ("CONFIG_ARCH_THUNDER2" . #f) - ("CONFIG_ARCH_UNIPHIER" . #f) - ("CONFIG_ARCH_VEXPRESS" . #f) - ("CONFIG_ARCH_VISCONTI" . #f) - ("CONFIG_ARCH_XGENE" . #f) - ("CONFIG_ARCH_ZYNQMP" . #f) ) %default-extra-linux-options))) |