etc

wiiu-kernel-4.19.nix

@@ -0,0 +1,41 @@
+# see https://discourse.nixos.org/t/port-nixos-to-ppc32/11965/13
+
+{
+  buildLinux,
+  fetchFromGitLab,
+  fetchurl,
+  lib,
+  stdenv,
+  ...
+}@args:
+lib.overrideDerivation
+  (buildLinux (
+    args
+    // {
+      version = "4.19.322-wiiu";
+      src = fetchFromGitLab {
+        owner = "linux-wiiu";
+        repo = "linux-wiiu";
+        rev = "18a5a3dd77d992da8b154a9f4d1787d8a3a8b20c"; # rewrite-4.19
+        hash = "sha256-uqH8IPK4wcGKLEFXlwG8FaSTcQ/LmKHT+LZSE2QEvpU=";
+      };
+
+      autoModules = false;
+
+      features = {
+        efiBootStub = false;
+        iwlwifi = false;
+        needsCifsUtils = false;
+      };
+
+      enableCommonConfig = false;
+      defconfig = "wiiu_defconfig";
+    }
+  ))
+  (old: {
+    postInstall =
+      ''
+        cp arch/powerpc/boot/dtbImage.wiiu $out/
+      ''
+      + old.postInstall;
+  })