# 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;
  })