From c78732f046f6b8f697ae2b8866fc6ff96f5f4972 Mon Sep 17 00:00:00 2001 From: Vagrant Cascadian Date: Fri, 12 Sep 2025 15:52:17 -0700 Subject: [PATCH] gnu: linux-libre-arm64-mnt-reform: Update to 6.16. * gnu/packages/linux.scm (linux-libre-arm64-mnt-reform): Update to 6.16. Change-Id: I914204363cfb525e513fcfdc6064fbacaa02e2a4 --- gnu/packages/linux.scm | 272 +---------------------------------------- 1 file changed, 1 insertion(+), 271 deletions(-) diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm index cb4db5a3f466d987d0d33dd95d497f504420abe7..d59531116a6372a9cc01c6b0e3c30c6e795b8a04 100644 --- a/gnu/packages/linux.scm +++ b/gnu/packages/linux.scm @@ -1920,277 +1920,7 @@ dtb-$(CONFIG_ARCH_ROCKCHIP) += rk3588-mnt-reform2-dsi.dtb dtb-$(CONFIG_ARCH_ROCKCHIP) += rk3588-mnt-reform-next.dtb dtb-$(CONFIG_ARCH_ROCKCHIP) += rk3588-mnt-pocket-reform.dtb"))))))))))) -(define-public linux-libre-arm64-mnt-reform - ;; Kernel for use on the MNT/Reform systems - ;; https://mntre.com/reform.html - (let ((base (make-linux-libre* linux-libre-6.15-version - linux-libre-6.15-gnu-revision - linux-libre-6.15-source - '("aarch64-linux") - #:extra-version "arm64-mnt-reform" - #:extra-options - ;; https://source.mnt.re/reform/reform-debian-packages/-/blob/main/linux/config - (append `(("CONFIG_DRM_LVDS_CODEC" . m) - ("CONFIG_DRM_CDNS_MHDP8546" . m) - ("CONFIG_DRM_CDNS_HDMI_CEC" . m) - ("CONFIG_DRM_IMX_CDNS_MHDP" . m) - ("CONFIG_DRM_IMX_DCSS" . m) - ("CONFIG_PHY_FSL_IMX8MQ_HDPTX" . m) - ("CONFIG_DRM_PANEL_LVDS" . m) - ("CONFIG_I2C_IMX_LPI2C" . m) - ("CONFIG_I2C_MUX_REG" . m) - ("CONFIG_INTERCONNECT_IMX" . #true) - ("CONFIG_INTERCONNECT_IMX8MQ" . #true) - ("CONFIG_MFD_WM8994" . m) - ("CONFIG_MUX_GPIO" . m) - ("CONFIG_MUX_MMIO" . m) - ("CONFIG_RTC_DRV_PCF8523" . m) - ("CONFIG_USB_EHCI_FSL" . m) - ("CONFIG_NO_HZ_IDLE" . #true) - ("CONFIG_SND_SOC_FSL_MICFIL" . m) - ("CONFIG_SND_IMX_SOC" . m) - ("CONFIG_SND_SOC_FSL_ASOC_CARD" . m) - ("CONFIG_SND_SOC_IMX_AUDMIX" . m) - ("CONFIG_SND_SOC_IMX_HDMI" . m) - ("CONFIG_INPUT_JOYSTICK" . #true) - ("CONFIG_JOYSTICK_XPAD" . m) - ("CONFIG_JOYSTICK_XPAD_FF" . #true) - ("CONFIG_JOYSTICK_XPAD_LEDS" . #true) - ("CONFIG_INTERCONNECT_IMX8MP" . #true) - ("CONFIG_SND_SOC_FSL_ASRC" . #true) - ("CONFIG_DRM_IMX_LCDIF" . #true) - ("CONFIG_DRM_IMX8MP_DW_HDMI_BRIDGE" . #true) - ("CONFIG_DRM_IMX8MP_HDMI_PVI" . #true) - ("CONFIG_IMX8MM_THERMAL" . #true) - ("CONFIG_IMX2_WDT" . #true) - ("CONFIG_DRM_SAMSUNG_DSIM" . #true) - ("CONFIG_PHY_FSL_SAMSUNG_HDMI_PHY" . #true) - ("CONFIG_DRM" . #true) - ("CONFIG_DRM_PANEL_MNT_POCKET_REFORM" . #true) - ("CONFIG_IMX8M_BLK_CTRL" . #true) - ("CONFIG_IMX_GPCV2_PM_DOMAINS" . #true) - ("CONFIG_DRM_DISPLAY_CONNECTOR" . #true) - ("CONFIG_DRM_FSL_LDB" . #true) - ("CONFIG_BACKLIGHT_CLASS_DEVICE" . #true) - ("CONFIG_BACKLIGHT_PWM" . #true) - ("CONFIG_BACKLIGHT_GPIO" . #true) - ("CONFIG_BACKLIGHT_LED" . #true) - ("CONFIG_CPU_FREQ_GOV_PERFORMANCE" . #true) - ("CONFIG_CPU_FREQ_GOV_POWERSAVE" . #true) - ("CONFIG_CPU_FREQ_GOV_USERSPACE" . #true) - ("CONFIG_CPU_FREQ_GOV_ONDEMAND" . #true) - ("CONFIG_CPU_FREQ_GOV_CONSERVATIVE" . #true) - ("CONFIG_CPU_FREQ_GOV_SCHEDUTIL" . #true) - ("CONFIG_ARM_IMX_CPUFREQ_DT" . #true) - ("CONFIG_ARM_IMX_BUS_DEVFREQ" . #true) - ("CONFIG_IMX_IRQSTEER" . #true) - ("CONFIG_PCI_MESON" . #true) - ("CONFIG_DWMAC_MESON" . #true) - ("CONFIG_MDIO_BUS_MUX_MESON_G12A" . #true) - ("CONFIG_GPIO_ROCKCHIP" . #true) - ("CONFIG_PL330_DMA" . #true) - ("CONFIG_I2C_MESON" . #true) - ("CONFIG_PWM_MESON" . #true) - ("CONFIG_USB_DWC3_MESON_G12A" . #true) - ("CONFIG_MMC_MESON_GX" . #true) - ("CONFIG_MMC_MESON_MX_SDIO" . #true) - ("CONFIG_MESON_DDR_PMU" . #true) - ("CONFIG_RTW88_8822CS" . m) - ("CONFIG_PWM_FSL_FTM" . #true) - ("CONFIG_FSL_RCPM" . #true) - ("CONFIG_ARM_ROCKCHIP_CPUFREQ" . m) - ("CONFIG_DRM_PANTHOR" . m) - ("CONFIG_NVMEM_ROCKCHIP_OTP" . #true) - ("CONFIG_PHY_ROCKCHIP_SAMSUNG_HDPTX" . m) - ("CONFIG_PHY_ROCKCHIP_USBDP" . m) - ("CONFIG_ROCKCHIP_REGULATOR_COUPLER" . #true) - ("CONFIG_SPI_ROCKCHIP" . #true) - ("CONFIG_SPI_ROCKCHIP_SFC" . m) - ("CONFIG_ARM_SCMI_CPUFREQ" . m) - ("CONFIG_PHY_ROCKCHIP_SAMSUNG_DCPHY" . #true) - ("CONFIG_VIDEO_ROCKCHIP_VDEC2" . m) - ("CONFIG_ROCKCHIP_DW_HDMI_QP" . #true) - ("CONFIG_ROCKCHIP_DW_MIPI_DSI2" . #true) - ;; Fixes https://codeberg.org/guix/guix/issues/101 - ("CONFIG_CRYPTO_USER_API_HASH" . #true) - ("CONFIG_CRYPTO_USER_API_SKCIPHER" . #true) - ("CONFIG_CRYPTO_USER_API_RNG" . #true) - ("CONFIG_CRYPTO_USER_API_AEAD" . #true) - ("CONFIG_KEY_DH_OPERATIONS" . #true) - ;; Provide support for ath9k wireless - ("CONFIG_ATH9K" . m) - ("CONFIG_ATH9K_HTC" . m)) - (default-extra-linux-options - linux-libre-6.15-version))))) - (package - (inherit base) - (inputs (list reform-debian-packages)) - (synopsis (string-append (package-synopsis base) - " for MNT/Reform systems")) - (description (string-append (package-description base) - " Configuration options and patches have been applied for use with MNT/Reform systems.")) - (arguments - (substitute-keyword-arguments (package-arguments base) - ((#:phases phases) - #~(modify-phases #$phases - (add-after 'unpack 'apply-reform-patches - (lambda* (#:key inputs #:allow-other-keys) - (for-each (lambda (patch) - (invoke "patch" "-p1" "-i" - (search-input-file inputs - (string-append - "patches6.15/" patch)))) - (list - "imx8mp-mnt-pocket-reform/2ghz/0001-imx8mp-2ghz-clk.patch" - "imx8mp-mnt-pocket-reform/2ghz/0002-imx8mp-2ghz-opp.patch" - "imx8mp-mnt-pocket-reform/audio/0000-revert-crashy-audiomix-pm-support.patch" - "imx8mp-mnt-pocket-reform/mmc-sdio/0001-sdhci-add-no-sd-uhs-sdr104-devicetree-property.patch" - "imx8mp-mnt-pocket-reform/mmc-sdio/0002-During-the-card-init-the-host-side-sometimes-may-nee.patch" - "imx8mp-mnt-pocket-reform/mmc-sdio/0003-USDHC-IP-has-one-limitation-the-tuning-circuit-can-t.patch" - "imx8mp-mnt-pocket-reform/pocket-panel/0001-v5-add-multi-display-panel-driver.patch" - "imx8mp-mnt-pocket-reform/pocket-panel/0002-pocket-panel-fix-sleep-add-orientation.patch" - "imx8mp-mnt-reform2/0001-sn65dsi86-use-hs-clock-of-samsung-dsim-host-directly.patch" - "imx8mp-mnt-reform2/0002-lcdif-dont-exceed-desired-pixel-clock.patch" - "imx8mq-mnt-reform2/0001-imx8mq-mnt-reform2.dts-multiple-fixes-for-display-wi.patch" - "imx8mq-mnt-reform2/0001-nwl-dsi-fixup-mode-only-for-LCDIF-input-not-DCSS.patch" - "imx8mq-mnt-reform2/0002-Revert-drm-bridge-nwl-dsi-Use-vsync-hsync-polarity-f.patch" - "imx8mq-mnt-reform2/0003-lcdif-fix-pcie-interference.patch" - "imx8mq-mnt-reform2/0004-mnt4002-imx-gpcv2-wake-smccc.patch.patch" - "imx8mq-mnt-reform2/0005-pci-imx6-add-support-for-internal-refclk-imx8mq.patch" - "imx8mq-mnt-reform2/Initial-support-Cadence-MHDP8501-HDMI-DP-for-i.MX8MQ.patch" - "ls1028a-mnt-reform2/0000-dtsi-add-hdptx.patch" - "meson-g12b-bananapi-cm4-mnt-pocket-reform/0001-a311d-viu-fifo-lines-config.patch" - "meson-g12b-bananapi-cm4-mnt-pocket-reform/0002-a311d-viu-fifo-lines-config-header.patch" - "meson-g12b-bananapi-cm4-mnt-pocket-reform/0003-tlv320aic31xx-add-1228800hz-support.patch" - "meson-g12b-bananapi-cm4-mnt-reform2/0001-meson-g12b-bananapi-cm4-mnt-reform2.dts-fix-audio-an.patch" - "meson-g12b-bananapi-cm4-mnt-reform2/0001-Revert-drm-bridge-synopsys-dw-mipi-dsi-enable-EoTp-b.patch" - "meson-g12b-bananapi-cm4-mnt-reform2/0011-dw-mipi-dsi-phy-stop-wait-time.patch" - "meson-g12b-bananapi-cm4-mnt-reform2/0012-innolux-n125hce-gn1-timing-tweaks.patch" - "meson-g12b-bananapi-cm4-mnt-reform2/0013-meson-viu-hold-fifo-lines.patch" - "meson-g12b-bananapi-cm4-mnt-reform2/0014-meson-venc-sync.patch.patch" - "meson-g12b-bananapi-cm4-mnt-reform2/0015-meson-dw-mipi-dsi-sync-invert.patch" - "meson-g12b-bananapi-cm4-mnt-reform2/0016-sn65dsi86-burst-mode-support.patch" - "meson-g12b-bananapi-cm4-mnt-reform2/0018-sn65dsi86-never-turn-off.patch" - "meson-g12b-bananapi-cm4-mnt-reform2/0020-LOCAL-ALSA-Assign-internal-PCM-chmap-ELD-IEC958-kctl.patch" - "meson-g12b-bananapi-cm4-mnt-reform2/0021-HACK-of-partial-revert-of-fdt.c-changes.patch" - "meson-g12b-bananapi-cm4-mnt-reform2/0022-add-bt-and-eth-resets.patch" - "meson-g12b-bananapi-cm4-mnt-reform2/0023-sdio-pullups.patch" - "meson-g12b-bananapi-cm4-mnt-reform2/0024-sdio-improve-wifi-speed.patch" - "meson-g12b-bananapi-cm4-mnt-reform2/0030-WORKAROUND-meson-plane-disable-afbc-32x8.patch" - "rk3588-mnt-reform2/0001-MERGED-phy-Add-HDMI-configuration-options.patch" - "rk3588-mnt-reform2/0002-MERGED-phy-hdmi-Add-color-depth-configuration.patch" - "rk3588-mnt-reform2/0005-MERGED-phy-rockchip-samsung-hdptx-Drop-unused-struct.patch" - "rk3588-mnt-reform2/0006-MERGED-phy-rockchip-samsung-hdptx-Drop-unused-phy_cf.patch" - "rk3588-mnt-reform2/0007-MERGED-phy-rockchip-samsung-hdptx-Drop-superfluous-c.patch" - "rk3588-mnt-reform2/0008-MERGED-phy-rockchip-samsung-hdptx-Avoid-Hz-hHz-unit-.patch" - "rk3588-mnt-reform2/0009-MERGED-phy-rockchip-samsung-hdptx-Setup-TMDS-char-ra.patch" - "rk3588-mnt-reform2/0010-MERGED-phy-rockchip-samsung-hdptx-Provide-config-par.patch" - "rk3588-mnt-reform2/0011-MERGED-phy-rockchip-samsung-hdptx-Restrict-altering-.patch" - "rk3588-mnt-reform2/0012-MERGED-phy-rockchip-samsung-hdptx-Rename-ambiguous-r.patch" - "rk3588-mnt-reform2/0013-MERGED-phy-rockchip-samsung-hdptx-Optimize-internal-.patch" - "rk3588-mnt-reform2/0014-MERGED-phy-rockchip-samsung-hdptx-Add-high-color-dep.patch" - "rk3588-mnt-reform2/0015-MERGED-dt-bindings-PCI-dw-rockchip-Add-rk3576-suppor.patch" - "rk3588-mnt-reform2/0016-MERGED-arm64-dts-rockchip-Add-rk3576-pcie-nodes.patch" - "rk3588-mnt-reform2/0017-MERGED-dt-bindings-arm-rockchip-Add-Radxa-ROCK-5B.patch" - "rk3588-mnt-reform2/0018-MERGED-arm64-dts-rockchip-add-mipi-dcphy-nodes-to-rk.patch" - "rk3588-mnt-reform2/0019-MERGED-arm64-dts-rockchip-add-dsi-controller-nodes-o.patch" - "rk3588-mnt-reform2/0020-MERGED-arm64-dts-rockchip-move-rock-5b-to-include-fi.patch" - "rk3588-mnt-reform2/0021-MERGED-arm64-dts-rockchip-add-Rock-5B.patch" - "rk3588-mnt-reform2/0024-DEBUG-usb-typec-tcpm-also-log-to-dmesg.patch" - "rk3588-mnt-reform2/0025-math.h-add-DIV_ROUND_UP_NO_OVERFLOW.patch" - "rk3588-mnt-reform2/0026-clk-divider-Fix-divisor-masking-on-64-bit-platforms.patch" - "rk3588-mnt-reform2/0027-clk-composite-replace-open-coded-abs_diff.patch" - "rk3588-mnt-reform2/0028-arm64-dts-rockchip-rk3588-evb1-add-bluetooth-rfkill.patch" - "rk3588-mnt-reform2/0029-arm64-dts-rockchip-rk3588-evb1-improve-PCIe-ethernet.patch" - "rk3588-mnt-reform2/0030-arm64-dts-rockchip-Slow-down-EMMC-a-bit-to-keep-IO-s.patch" - "rk3588-mnt-reform2/0031-media-v4l2-ctrls-core-Set-frame_mbs_only_flag-by-def.patch" - "rk3588-mnt-reform2/0032-media-rockchip-Move-H264-CABAC-table-to-header-file.patch" - "rk3588-mnt-reform2/0033-media-rockchip-Introduce-the-rkvdec2-driver.patch" - "rk3588-mnt-reform2/0034-media-dt-bindings-rockchip-Document-RK3588-Video-Dec.patch" - "rk3588-mnt-reform2/0035-arm64-dts-rockchip-Add-rkvdec2-Video-Decoder-on-rk35.patch" - "rk3588-mnt-reform2/0036-arm64-defconfig-enable-Rockchip-RK3588-video-decoder.patch" - "rk3588-mnt-reform2/0037-mfd-rk8xx-Fix-shutdown-handler.patch" - "rk3588-mnt-reform2/0038-dt-bindings-display-vop2-Add-VP-clock-resets.patch" - "rk3588-mnt-reform2/0039-drm-rockchip-vop2-Add-clock-resets-support.patch" - "rk3588-mnt-reform2/0040-arm64-dts-rockchip-Add-VOP-clock-resets-for-rk3588s.patch" - "rk3588-mnt-reform2/0041-arm64-dts-rockchip-rk3588-evb1-add-DSI-panel.patch" - "rk3588-mnt-reform2/0042-drm-rockchip-vop2-Add-core-reset-support.patch" - "rk3588-mnt-reform2/0043-WIP-drm-rockchip-dw_hdmi_qp-Make-use-of-phy_configur.patch" - "rk3588-mnt-reform2/0044-WIP-drm-bridge-Add-detect_ctx-hook.patch" - "rk3588-mnt-reform2/0045-WIP-drm-bridge-connector-Switch-from-detect-to-detec.patch" - "rk3588-mnt-reform2/0046-WIP-drm-bridge-dw-hdmi-qp-Add-high-TMDS-clock-ratio-.patch" - "rk3588-mnt-reform2/0047-drm-dp-Pull-drm_dp_link_power_up-down-from-Tegra-to-.patch" - "rk3588-mnt-reform2/0048-drm-bridge-cdns-mhdp8546-Switch-to-common-helpers-to.patch" - "rk3588-mnt-reform2/0049-drm-bridge-anx6345-Switch-to-common-helpers-to-power.patch" - "rk3588-mnt-reform2/0050-drm-bridge-anx78xx-Switch-to-common-helpers-to-power.patch" - "rk3588-mnt-reform2/0051-drm-bridge-it6505-Switch-to-common-helpers-to-power-.patch" - "rk3588-mnt-reform2/0052-dt-bindings-display-rockchip-Add-schema-for-RK3588-D.patch" - "rk3588-mnt-reform2/0053-drm-bridge-synopsys-Add-DW-DPTX-Controller-support-l.patch" - "rk3588-mnt-reform2/0054-drm-rockchip-Add-RK3588-DPTX-output-support.patch" - "rk3588-mnt-reform2/0055-dt-bindings-display-simple-bridge-Add-ra620-compatib.patch" - "rk3588-mnt-reform2/0056-drm-birdge-simple-bridge-Add-support-for-radxa-ra620.patch" - "rk3588-mnt-reform2/0057-arm64-dts-rockchip-Add-DP0-for-rk3588.patch" - "rk3588-mnt-reform2/0058-arm64-dts-rockchip-Add-DP1-for-rk3588.patch" - "rk3588-mnt-reform2/0059-arm64-dts-rockchip-Enable-DisplayPort-for-rk3588s-Co.patch" - "rk3588-mnt-reform2/0060-arm64-dts-rockchip-Enable-DP2HDMI-for-ROCK-5-ITX.patch" - "rk3588-mnt-reform2/0061-arm64-defconfig-Enable-Rockchip-RK3588-DisplayPort-C.patch" - "rk3588-mnt-reform2/0062-arm64-dts-rockchip-add-USB-C-support-for-ROCK-5B.patch" - "rk3588-mnt-reform2/0063-arm64-dts-rockchip-enable-camera-I2C-interfaces-for-.patch" - "rk3588-mnt-reform2/0064-accel-rocket-Add-registers-header.patch" - "rk3588-mnt-reform2/0065-accel-rocket-Add-a-new-driver-for-Rockchip-s-NPU.patch" - "rk3588-mnt-reform2/0066-accel-rocket-Add-IOCTL-for-BO-creation.patch" - "rk3588-mnt-reform2/0067-accel-rocket-Add-job-submission-IOCTL.patch" - "rk3588-mnt-reform2/0068-accel-rocket-Add-IOCTLs-for-synchronizing-memory-acc.patch" - "rk3588-mnt-reform2/0069-dt-bindings-npu-rockchip-rknn-Add-bindings.patch" - "rk3588-mnt-reform2/0070-arm64-dts-rockchip-add-pd_npu-label-for-RK3588-power.patch" - "rk3588-mnt-reform2/0071-arm64-dts-rockchip-Add-nodes-for-NPU-and-its-MMU-to-.patch" - "rk3588-mnt-reform2/0072-arm64-dts-rockchip-Enable-the-NPU-on-quartzpro64.patch" - "rk3588-mnt-reform2/0073-arm64-dts-rockchip-enable-NPU-on-ROCK-5B.patch" - "rk3588-mnt-reform2/1000-v3-pci_dw_rockchip_add_system_pm_support.patch" - "rk3588-mnt-reform2/1001-pci_dw_rockchip_enable_l0s_capability.patch" - "rk3588-mnt-reform2/1002-v2-media_verisilicon_fix_av1_decoder_clock_frequency.patch" - "rk3588-mnt-reform2/5200-drm-rockchip-Set-dma-mask-to-64-bit.patch")))) - (add-after 'apply-reform-patches 'copy-reform-dts-files - (lambda* (#:key inputs #:allow-other-keys) - (for-each (lambda (dts) - (copy-file (search-input-file inputs - (string-append - "/dts/" dts)) - (string-append "arch/arm64/boot/dts/" - dts))) - (list - "amlogic/meson-g12b-bananapi-cm4-mnt-pocket-reform.dts" - "freescale/fsl-ls1028a-mnt-reform2.dts" - "freescale/imx8mp-mnt-pocket-reform.dts" - "freescale/imx8mp-mnt-reform2.dts" - "freescale/imx8mq-mnt-reform2-hdmi.dts" - "rockchip/rk3588-mnt-pocket-reform.dts" - "rockchip/rk3588-mnt-reform-next.dts" - "rockchip/rk3588-mnt-reform2.dts" - "rockchip/rk3588-mnt-reform2-dsi.dts" - )))) - (add-after 'apply-reform-patches 'adjust-makefiles-with-new-dtb - (lambda _ - (substitute* "arch/arm64/boot/dts/amlogic/Makefile" - (("meson-g12b-bananapi-cm4-mnt-reform2.dtb") - "meson-g12b-bananapi-cm4-mnt-reform2.dtb -dtb-$(CONFIG_ARCH_MESON) += meson-g12b-bananapi-cm4-mnt-pocket-reform.dtb")) - (substitute* "arch/arm64/boot/dts/freescale/Makefile" - (("fsl-ls1028a-rdb.dtb") - "fsl-ls1028a-rdb.dtb -dtb-$(CONFIG_ARCH_LAYERSCAPE) += fsl-ls1028a-mnt-reform2.dtb")) - (substitute* "arch/arm64/boot/dts/freescale/Makefile" - (("imx8mq-mnt-reform2.dtb") - "imx8mq-mnt-reform2.dtb -dtb-$(CONFIG_ARCH_MXC) += imx8mp-mnt-reform2.dtb -dtb-$(CONFIG_ARCH_MXC) += imx8mp-mnt-pocket-reform.dtb -dtb-$(CONFIG_ARCH_MXC) += imx8mq-mnt-reform2-hdmi.dtb")) - (substitute* "arch/arm64/boot/dts/rockchip/Makefile" - (("rk3588-mnt-reform2.dtb") - "rk3588-mnt-reform2.dtb -dtb-$(CONFIG_ARCH_ROCKCHIP) += rk3588-mnt-reform2-dsi.dtb -dtb-$(CONFIG_ARCH_ROCKCHIP) += rk3588-mnt-reform-next.dtb -dtb-$(CONFIG_ARCH_ROCKCHIP) += rk3588-mnt-pocket-reform.dtb"))))))))))) +(define-public linux-libre-arm64-mnt-reform linux-libre-arm64-mnt-reform-6.16) (define-public linux-libre-arm64-mnt-reform-6.12 ;; Kernel for use on the MNT/Reform systems