From df53532b879c3214b15f99a613d5cffdc058d360 Mon Sep 17 00:00:00 2001
From: Neal Gompa <ngompa@fedoraproject.org>
Date: Thu, 26 Oct 2023 14:11:13 -0400
Subject: [PATCH] platforms/server: Use ext4 for the /boot partition

This avoids issues where U-Boot cannot read the DeviceTree files
on /boot and fails to initialize the system properly.
---
 platforms/server.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/platforms/server.xml b/platforms/server.xml
index db104c0..989888e 100644
--- a/platforms/server.xml
+++ b/platforms/server.xml
@@ -6,7 +6,7 @@
 		</profile>
 	</profiles>
 	<preferences profiles="Server">
-		<type image="oem" filesystem="btrfs" kernelcmdline="" target_blocksize="4096" bootpartition="true" bootpartsize="1000" bootfilesystem="xfs" efipartsize="500" firmware="uefi" btrfs_root_is_subvolume="true" btrfs_set_default_volume="false" rootfs_label="fedora" fsmountoptions="x-systemd.growfs,compress=zstd:1">
+		<type image="oem" filesystem="btrfs" kernelcmdline="" target_blocksize="4096" bootpartition="true" bootpartsize="1000" bootfilesystem="ext4" efipartsize="500" firmware="uefi" btrfs_root_is_subvolume="true" btrfs_set_default_volume="false" rootfs_label="fedora" fsmountoptions="x-systemd.growfs,compress=zstd:1">
 			<bootloader name="grub2" console="none" timeout="5" timeout_style="menu"/>
 			<systemdisk name="fedora">
 				<volume name="@root=root"/>