From 6aa4e0e47097f42bc27822eb60a876043de21dc5 Mon Sep 17 00:00:00 2001
From: Gerd Hoffmann <kraxel@redhat.com>
Date: Wed, 25 Jan 2023 09:44:36 +0100
Subject: [PATCH] add edk2-platforms config

---
 edk2-build.fedora.platforms | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 edk2-build.fedora.platforms

diff --git a/edk2-build.fedora.platforms b/edk2-build.fedora.platforms
new file mode 100644
index 0000000..28477a9
--- /dev/null
+++ b/edk2-build.fedora.platforms
@@ -0,0 +1,15 @@
+[build.ext4.x64]
+desc = ext4 driver for x64
+conf = Features/Ext4Pkg/Ext4Pkg.dsc
+arch = X64
+plat = Ext4Pkg
+dest = Fedora/drivers
+cpy1 = X64/Ext4Dxe.efi ext4x64.efi
+
+[build.ext4.aa64]
+desc = ext4 driver for aarch64
+conf = Features/Ext4Pkg/Ext4Pkg.dsc
+arch = AARCH64
+plat = Ext4Pkg
+dest = Fedora/drivers
+cpy1 = AARCH64/Ext4Dxe.efi ext4aa64.efi