From c9469e70380f3f46c991a58aaa892d7eaa353bc9 Mon Sep 17 00:00:00 2001
From: sh83 <malishev@gmail.com>
Date: Sun, 6 Nov 2022 23:10:52 +0300
Subject: [PATCH] rp2040: make deployer build optional

Signed-off-by: Alex Malishev <malishev@gmail.com>
---
 src/rp2040/Kconfig | 19 +++++++++++++++----
 1 file changed, 15 insertions(+), 4 deletions(-)

diff --git a/src/rp2040/Kconfig b/src/rp2040/Kconfig
index d521cb8..13c89bf 100644
--- a/src/rp2040/Kconfig
+++ b/src/rp2040/Kconfig
@@ -44,10 +44,6 @@ config APPLICATION_START
     default 0x10004000
     hex
 
-config DEPLOYER_START
-    hex
-    default 0x10004000
-
 config BOOTLOADER_START
     hex
     default 0x10000100
@@ -87,6 +83,21 @@ config RP2040_STAGE2_CLKDIV
     default 4 if RP2040_FLASH_GENERIC_03
     default 2
 
+######################################################################
+# Deployer
+######################################################################
+
+choice
+    prompt "Build CanBoot deployment application"
+    config RP2040_FLASH_START_0000
+        bool "Do not build"
+    config RP2040_FLASH_START_4000
+        bool "16KiB bootloader"
+endchoice
+config DEPLOYER_START
+    hex
+    default 0x10004000 if RP2040_FLASH_START_4000
+    default 0
 
 ######################################################################
 # Communication inteface