hal_nordic: Add protection against resource conflict

Add check in CMake files to prevent resource overlap for
TIMER0, TIMER1, RTC0.

Signed-off-by: Krzysztof Chruscinski <[email protected]>

Author: nordic-krch

modules/hal_nordic/nrf_802154/CMakeLists.txt

@@ -5,6 +5,13 @@ zephyr_library_named(nrf-802154-platform)
 zephyr_interface_library_named(zephyr-802154-interface)
 
 if (CONFIG_NRF_802154_RADIO_DRIVER)
+  dt_nodelabel(timer1_node NODELABEL "timer1")
+  dt_node_has_status(status_result PATH ${timer1_node} STATUS okay)
+  if (${status_result})
+	  message(FATAL_ERROR "Resource conflict. IEEE802.15.4 Radio driver requires TIMER1 but "
+			      "timer1 node is enabled (for counter driver).")
+  endif()
+
   target_sources(nrf-802154-platform
     PRIVATE
       ${CMAKE_CURRENT_SOURCE_DIR}/radio/platform/nrf_802154_random_zephyr.c

modules/hal_nordic/nrf_802154/radio/platform/nrf_802154_random_zephyr.c

@@ -8,10 +8,6 @@
 #include <platform/nrf_802154_temperature.h>
 #include <zephyr/drivers/entropy.h>
 
-/* Ensure that counter driver for TIMER1 is not enabled. */
-BUILD_ASSERT(DT_NODE_HAS_STATUS(DT_NODELABEL(timer1), disabled),
-	     "Counter for TIMER1 must be disabled");
-
 static uint32_t state;
 
 static uint32_t next(void)

subsys/bluetooth/controller/ll_sw/nordic/hal/nrf5/radio/radio.c

@@ -29,10 +29,6 @@
 
 #include "radio_internal.h"
 
-/* Ensure that counter driver for RTC0 is not enabled. */
-BUILD_ASSERT(DT_NODE_HAS_STATUS(DT_NODELABEL(rtc0), disabled),
-	     "Counter for RTC0 must be disabled");
-
 /* Converts the GPIO controller in a FEM property's GPIO specification
  * to its nRF register map pointer.
  *

subsys/bluetooth/controller/ll_sw/nordic/hal/nrf5/radio/radio_sim_nrfxx.h

@@ -187,9 +187,6 @@
 #if defined(CONFIG_BT_CTLR_SW_SWITCH_SINGLE_TIMER)
 #undef EVENT_TIMER
 #define EVENT_TIMER NRF_TIMER0
-/* Ensure that counter driver for TIMER0 is not enabled. */
-BUILD_ASSERT(DT_NODE_HAS_STATUS(DT_NODELABEL(timer0), disabled),
-	     "Counter for TIMER0 must be disabled");
 #define SW_SWITCH_TIMER EVENT_TIMER
 #define SW_SWITCH_TIMER_EVTS_COMP_BASE 0
 #else /* !CONFIG_BT_CTLR_SW_SWITCH_SINGLE_TIMER */

subsys/bluetooth/controller/ll_sw/nrf.cmake

@@ -1,6 +1,18 @@
 # SPDX-License-Identifier: Apache-2.0
 
 if(CONFIG_BT_LL_SW_SPLIT)
+  dt_nodelabel(rtc0_node NODELABEL "rtc0")
+  dt_node_has_status(status_result PATH ${rtc0_node} STATUS okay)
+  if (${status_result})
+	  message(FATAL_ERROR "Resource conflict. Bluetooth Link Layer requires RTC0 but "
+			      "rtc0 node is enabled (for counter driver).")
+  endif()
+  dt_nodelabel(timer0_node NODELABEL "timer0")
+  dt_node_has_status(status_result PATH ${timer0_node} STATUS okay)
+  if (${status_result})
+	  message(FATAL_ERROR "Resource conflict. Bluetooth Link Layer requires TIMER0 but "
+			      "timer0 node is enabled (for counter driver).")
+  endif()
   zephyr_library_sources(
     ll_sw/nordic/lll/lll.c
     ll_sw/nordic/lll/lll_clock.c