From d6ac3944fb2e2cd941435a58a38422d949095d37 Mon Sep 17 00:00:00 2001
From: Florian Agbuya <fa@m-labs.ph>
Date: Mon, 4 Mar 2024 17:40:33 +0800
Subject: [PATCH] linux: add fpga support

---
 not-os-patches/pr-28.patch | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/not-os-patches/pr-28.patch b/not-os-patches/pr-28.patch
index 68a3064..7504721 100644
--- a/not-os-patches/pr-28.patch
+++ b/not-os-patches/pr-28.patch
@@ -151,10 +151,10 @@ index c61f9d6..fbdf0fd 100644
    };
  }
 diff --git a/zynq_image.nix b/zynq_image.nix
-index 3fa23ab..727e3ef 100644
+index 3fa23ab..e2e3871 100644
 --- a/zynq_image.nix
 +++ b/zynq_image.nix
-@@ -1,66 +1,96 @@
+@@ -1,66 +1,102 @@
 -{ config, pkgs, ... }:
 +{ lib, config, pkgs, ... }:
  
@@ -187,6 +187,12 @@ index 3fa23ab..727e3ef 100644
 +      SOUND n
 +      SQUASHFS n
 +      BACKLIGHT_CLASS_DEVICE n
++      FPGA y
++      FPGA_BRIDGE y
++      FPGA_REGION y
++      OF_FPGA_REGION y
++      FPGA_MGR_ZYNQ_FPGA y
++      OF_OVERLAY y
      '';
 -  };
 -  customKernelPackages = pkgs.linuxPackagesFor customKernel;