From 26dd210eb671ee7104146eaa6d5170f8c4ec4471 Mon Sep 17 00:00:00 2001
From: Florian Agbuya <fa@m-labs.ph>
Date: Tue, 26 Mar 2024 17:51:46 +0800
Subject: [PATCH] rebase from 251f65f

---
 not-os-patches/pr-33.patch | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/not-os-patches/pr-33.patch b/not-os-patches/pr-33.patch
index de989a1..db4a28e 100644
--- a/not-os-patches/pr-33.patch
+++ b/not-os-patches/pr-33.patch
@@ -1062,13 +1062,13 @@ index 0000000..59aa585
 ++
 + #endif /*_LINUX_FPGA_MGR_H */
 diff --git a/zynq_image.nix b/zynq_image.nix
-index e2e3871..2decd54 100644
+index 9d1621e..012e50c 100644
 --- a/zynq_image.nix
 +++ b/zynq_image.nix
-@@ -18,6 +18,16 @@ let
-     };
-   };
-   customKernel = (crosspkgs.linux.override {
+@@ -3,6 +3,16 @@
+ with lib;
+ let
+   customKernel = (pkgs.linux.override {
 +    kernelPatches = [
 +      ({
 +        name = "xilinx-configfs-overlays";
@@ -1082,7 +1082,7 @@ index e2e3871..2decd54 100644
      extraConfig = ''
        OVERLAY_FS y
        MEDIA_SUPPORT n
-@@ -32,6 +42,7 @@ let
+@@ -17,6 +27,7 @@ let
        OF_FPGA_REGION y
        FPGA_MGR_ZYNQ_FPGA y
        OF_OVERLAY y