From db0f4963b7be52a2a45870b5cdbd1011c351dd58 Mon Sep 17 00:00:00 2001
From: Glenn Ruben Bakke <glennbakke@gmail.com>
Date: Fri, 2 Jun 2017 18:25:28 +0200
Subject: [PATCH] nrf5/modules/machine: Update timer init to set default IRQ
 priority before initializing Timer instance.

---
 nrf5/modules/machine/timer.c | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/nrf5/modules/machine/timer.c b/nrf5/modules/machine/timer.c
index 1866dfa18e..d9d4cf32e5 100644
--- a/nrf5/modules/machine/timer.c
+++ b/nrf5/modules/machine/timer.c
@@ -137,6 +137,12 @@ STATIC mp_obj_t machine_timer_make_new(const mp_obj_type_t *type, size_t n_args,
         self->callback = args[3].u_obj;
     }
 
+#ifdef NRF51
+    self->p_config->irq_priority = 3;
+#else
+    self->p_config->irq_priority = 6;
+#endif
+
     hal_timer_init(self->p_config);
 
     return MP_OBJ_FROM_PTR(self);