fix build for nRF52833DK

boards/nrf52833dk_nrf52833.conf

@@ -0,0 +1,9 @@
+#
+# Copyright (c) 2024 Nordic Semiconductor
+#
+# SPDX-License-Identifier: LicenseRef-Nordic-5-Clause
+#
+
+CONFIG_NRFX_TIMER1=y
+CONFIG_NRFX_RTC2=y
+CONFIG_NRFX_PPI=y

boards/nrf52840dk_nrf52840.conf

@@ -0,0 +1,9 @@
+#
+# Copyright (c) 2024 Nordic Semiconductor
+#
+# SPDX-License-Identifier: LicenseRef-Nordic-5-Clause
+#
+
+CONFIG_NRFX_TIMER1=y
+CONFIG_NRFX_RTC2=y
+CONFIG_NRFX_PPI=y

src/controller_time_nrf52.c

@@ -21,7 +21,7 @@
 #include <helpers/nrfx_gppi.h>
 #include <hal/nrf_egu.h>
 #include <soc.h>
-#include "conn_time_sync.h"
+#include "controller_time.h"
 
 static const nrfx_rtc_t app_rtc_instance = NRFX_RTC_INSTANCE(2);
 static const nrfx_timer_t app_timer_instance = NRFX_TIMER_INSTANCE(1);