flake: use the uImage format for not-os

This commit is contained in:
Florian Agbuya 2023-12-13 11:06:46 +08:00
parent ed7d4386b9
commit 3b34e11cbf

View File

@ -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";
});