From bbf25ca940de16f74bf2264935bd748d6793228d Mon Sep 17 00:00:00 2001
From: ZHANG Yuntian <yt@radxa.com>
Date: Fri, 7 Feb 2025 16:14:39 +0800
Subject: [PATCH] radxa: allow platformFirmware to be overridable

Previously, it was a product-level option with a default value.
---
 radxa/rock-4c-plus/default.nix | 2 +-
 radxa/rock-5b/default.nix      | 2 +-
 radxa/rock-pi-4/default.nix    | 2 +-
 radxa/rock-pi-e/default.nix    | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/radxa/rock-4c-plus/default.nix b/radxa/rock-4c-plus/default.nix
index 7550483d..e432dd74 100644
--- a/radxa/rock-4c-plus/default.nix
+++ b/radxa/rock-4c-plus/default.nix
@@ -13,7 +13,7 @@
       radxa.enable = true;
       rockchip = {
         rk3399.enable = true;
-        platformFirmware = pkgs.ubootRock4CPlus;
+        platformFirmware = lib.mkDefault pkgs.ubootRock4CPlus;
       };
     };
   };
diff --git a/radxa/rock-5b/default.nix b/radxa/rock-5b/default.nix
index aff9a81b..c8a899dd 100644
--- a/radxa/rock-5b/default.nix
+++ b/radxa/rock-5b/default.nix
@@ -13,7 +13,7 @@
       radxa.enable = true;
       rockchip = {
         rk3588.enable = true;
-        platformFirmware = pkgs.ubootRock5ModelB;
+        platformFirmware = lib.mkDefault pkgs.ubootRock5ModelB;
       };
     };
   };
diff --git a/radxa/rock-pi-4/default.nix b/radxa/rock-pi-4/default.nix
index 74b97dd9..e205a46e 100644
--- a/radxa/rock-pi-4/default.nix
+++ b/radxa/rock-pi-4/default.nix
@@ -13,7 +13,7 @@
       radxa.enable = true;
       rockchip = {
         rk3399.enable = true;
-        platformFirmware = pkgs.ubootRockPi4;
+        platformFirmware = lib.mkDefault pkgs.ubootRockPi4;
       };
     };
   };
diff --git a/radxa/rock-pi-e/default.nix b/radxa/rock-pi-e/default.nix
index 4328ca7b..0eec4e9a 100644
--- a/radxa/rock-pi-e/default.nix
+++ b/radxa/rock-pi-e/default.nix
@@ -13,7 +13,7 @@
       radxa.enable = true;
       rockchip = {
         rk3328.enable = true;
-        platformFirmware = pkgs.ubootRockPiE;
+        platformFirmware = lib.mkDefault pkgs.ubootRockPiE;
       };
     };
   };