From 6eae90872b6f6ea2632aba99bc0ce1cd9b45f4f1 Mon Sep 17 00:00:00 2001
From: Alexandre Marquet <tb@a-marquet.fr>
Date: Mon, 22 Dec 2025 20:40:26 +0100
Subject: [PATCH] device-samsung-manta: switch boot partition to fat32

Now that samsung-manta uses EFI boot, its boot partition should be
formatted in FAT32.

Note that the current behaviour does not impair booting nor updating of
kernels and initramfs, but tools like bootctl do not like that.

Part-of: <https://gitlab.postmarketos.org/postmarketOS/pmaports/-/merge_requests/7624>
---
 device/community/device-samsung-manta/APKBUILD   | 6 +++---
 device/community/device-samsung-manta/deviceinfo | 1 +
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/device/community/device-samsung-manta/APKBUILD b/device/community/device-samsung-manta/APKBUILD
index bb3b8a192..9e323b5bd 100644
--- a/device/community/device-samsung-manta/APKBUILD
+++ b/device/community/device-samsung-manta/APKBUILD
@@ -3,8 +3,8 @@
 # Co-Maintainer: Lukas Timmermann <lukas@timmermann.space>
 pkgname=device-samsung-manta
 pkgdesc="Google Nexus 10"
-pkgver=11
-pkgrel=1
+pkgver=12
+pkgrel=0
 url="https://postmarketos.org"
 license="MIT"
 arch="armv7"
@@ -75,7 +75,7 @@ disable_gsd_color() {
 }
 
 sha512sums="
-299351360c0811c103bed580a90aac468edb00ad0f12c07a6f9b1a6e60e94f12f99e3994dc3b28b20bd6882f62f21b88e4392861039db40ee5a5f59dd62a9e03  deviceinfo
+f3c50238d9d1be2bd44ab67ff7b46690043cdb334abce0285fedb587f68e35c57812a84333b6f01be0c9fec7dfc5479092659c77c8a33fec428bd84faeb4543c  deviceinfo
 e00c58936fa4340f8531538136ad028d002342a4399b68d26190b931831108007486257f9d8a48c3ed454696b45d176b1497d624c33ace21e61eba33ac7ce136  modules-initfs
 8a9756c66bf1eacd6a9717abf772a198123391deac7e32a520666dd6f72c4c5b09d1a4791437c8902f62cf4b49106ace195d57082972b1cb4c843c8e1b065875  hwclock
 0a3d0365369335fcb4793d6dce93b744111478e191f4725e06da431cd080874ba897ea5abf92da9fc9005a5520da253e199620229231b16fb58a41a1091e6a44  HiFi.conf
diff --git a/device/community/device-samsung-manta/deviceinfo b/device/community/device-samsung-manta/deviceinfo
index 57eb5ce94..cc0b6d3ab 100644
--- a/device/community/device-samsung-manta/deviceinfo
+++ b/device/community/device-samsung-manta/deviceinfo
@@ -18,6 +18,7 @@ deviceinfo_drm="true"
 deviceinfo_flash_method="fastboot"
 deviceinfo_flash_sparse="true"
 deviceinfo_flash_pagesize="2048"
+deviceinfo_boot_filesystem="fat32"
 deviceinfo_generate_systemd_boot="true"
 
 # Kernel options