From 3b34e11cbff5b7001fac345375493f29a23c3e1a Mon Sep 17 00:00:00 2001
From: Florian Agbuya <fa@m-labs.ph>
Date: Wed, 13 Dec 2023 11:06:46 +0800
Subject: [PATCH] flake: use the uImage format for not-os

---
 flake.nix | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/flake.nix b/flake.nix
index 0f28e4d..2093762 100644
--- a/flake.nix
+++ b/flake.nix
@@ -10,9 +10,15 @@
       pkgs = import nixpkgs { system = "x86_64-linux"; };
       not-os-patches = [
         {
+          # Additional systemd options for recent nixpkgs
           url = "https://patch-diff.githubusercontent.com/raw/cleverca22/not-os/pull/25.patch";
           sha256 = "sha256-QYXdiCdvGLcvLkC2BCIfJfCgW3Hf4meeK0SdU39aSYg=";
         }
+        {
+          # U-boot wrapped kernel, initrd and zc706 dtb support
+          url = "https://patch-diff.githubusercontent.com/raw/cleverca22/not-os/pull/26.patch";
+          sha256 = "sha256-fupVodnuXDik3+pi0BDlWL+zQROfzlWEz+fthe3JNHE=";
+        }
       ];
       patched-not-os = pkgs.applyPatches {
         name = "not-os-patched";
@@ -223,7 +229,6 @@
           extraModules = [
             "${patched-not-os}/zynq_image.nix"
           ];
-          platform = system: (import nixpkgs { config = {}; }).platforms.armv7l-hf-multiplatform;
           system = "x86_64-linux";
           crossSystem.system = "armv7l-linux";
         });