diff --git a/boards/arm/nrf52/nrf52840-dk/src/nrf52_timer.c b/boards/arm/nrf52/nrf52840-dk/src/nrf52_timer.c
deleted file mode 100644
index 0388d79c6acb3..0000000000000
--- a/boards/arm/nrf52/nrf52840-dk/src/nrf52_timer.c
+++ /dev/null
@@ -1,60 +0,0 @@
-/****************************************************************************
- * boards/arm/nrf52/nrf52840-dk/src/nrf52_timer.c
- *
- * SPDX-License-Identifier: Apache-2.0
- *
- * Licensed to the Apache Software Foundation (ASF) under one or more
- * contributor license agreements.  See the NOTICE file distributed with
- * this work for additional information regarding copyright ownership.  The
- * ASF licenses this file to you under the Apache License, Version 2.0 (the
- * "License"); you may not use this file except in compliance with the
- * License.  You may obtain a copy of the License at
- *
- *   http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
- * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.  See the
- * License for the specific language governing permissions and limitations
- * under the License.
- *
- ****************************************************************************/
-
-/****************************************************************************
- * Included Files
- ****************************************************************************/
-
-#include <nuttx/config.h>
-#include <nuttx/timers/timer.h>
-
-#include <nuttx/debug.h>
-
-#include "nrf52_tim_lowerhalf.h"
-
-#include "nrf52840-dk.h"
-
-/****************************************************************************
- * Public Functions
- ****************************************************************************/
-
-/****************************************************************************
- * Name: nrf52_timer_driver_setup
- *
- * Description:
- *   Configure the timer driver.
- *
- * Input Parameters:
- *   devpath - The full path to the timer device.  This should be of the
- *             form /dev/timer0
- *   timer   - The timer's number.
- *
- * Returned Value:
- *   Zero (OK) is returned on success; A negated errno value is returned
- *   to indicate the nature of any failure.
- *
- ****************************************************************************/
-
-int nrf52_timer_driver_setup(const char *devpath, int timer)
-{
-  return nrf52_timer_initialize(devpath, timer);
-}
diff --git a/boards/arm/nrf53/nrf5340-dk/src/nrf53_timer.c b/boards/arm/nrf53/nrf5340-dk/src/nrf53_timer.c
deleted file mode 100644
index 23fb8a604c06a..0000000000000
--- a/boards/arm/nrf53/nrf5340-dk/src/nrf53_timer.c
+++ /dev/null
@@ -1,60 +0,0 @@
-/****************************************************************************
- * boards/arm/nrf53/nrf5340-dk/src/nrf53_timer.c
- *
- * SPDX-License-Identifier: Apache-2.0
- *
- * Licensed to the Apache Software Foundation (ASF) under one or more
- * contributor license agreements.  See the NOTICE file distributed with
- * this work for additional information regarding copyright ownership.  The
- * ASF licenses this file to you under the Apache License, Version 2.0 (the
- * "License"); you may not use this file except in compliance with the
- * License.  You may obtain a copy of the License at
- *
- *   http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
- * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.  See the
- * License for the specific language governing permissions and limitations
- * under the License.
- *
- ****************************************************************************/
-
-/****************************************************************************
- * Included Files
- ****************************************************************************/
-
-#include <nuttx/config.h>
-#include <nuttx/timers/timer.h>
-
-#include <nuttx/debug.h>
-
-#include "nrf53_tim_lowerhalf.h"
-
-#include "nrf5340-dk.h"
-
-/****************************************************************************
- * Public Functions
- ****************************************************************************/
-
-/****************************************************************************
- * Name: nrf53_timer_driver_setup
- *
- * Description:
- *   Configure the timer driver.
- *
- * Input Parameters:
- *   devpath - The full path to the timer device.  This should be of the
- *             form /dev/timer0
- *   timer   - The timer's number.
- *
- * Returned Value:
- *   Zero (OK) is returned on success; A negated errno value is returned
- *   to indicate the nature of any failure.
- *
- ****************************************************************************/
-
-int nrf53_timer_driver_setup(const char *devpath, int timer)
-{
-  return nrf53_timer_initialize(devpath, timer);
-}