From 6f72e731377508fa1fc63816be78b1c1004a3ebe Mon Sep 17 00:00:00 2001
From: Glenn Ruben Bakke <glennbakke@gmail.com>
Date: Wed, 17 May 2017 19:52:09 +0200
Subject: [PATCH] nrf5/hal/timer: Quickfix. Disable IRQ handler if SOFT_PWM is
 configured to be enabled. Ticker driver has in current driver a seperate IRQ
 handler for this timer instance.

---
 nrf5/hal/hal_timer.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/nrf5/hal/hal_timer.c b/nrf5/hal/hal_timer.c
index 3046f74383..42d4d24c21 100644
--- a/nrf5/hal/hal_timer.c
+++ b/nrf5/hal/hal_timer.c
@@ -39,9 +39,11 @@ void hal_timer_start(uint8_t id) {
 void hal_timer_stop(uint8_t id) {
 }
 
+#if (MICROPY_PY_MACHINE_SOFT_PWM != 1)
 void TIMER0_IRQHandler(void) {
 
 }
+#endif
 
 void TIMER1_IRQHandler(void) {