hw: bsp: frdm-k64f: add TIMER_0 initialization
Signed-off-by: Fabio Utzig <utzig@apache.org>
diff --git a/hw/bsp/frdm-k64f/src/hal_bsp.c b/hw/bsp/frdm-k64f/src/hal_bsp.c
index a55a8e2..e0fe433 100644
--- a/hw/bsp/frdm-k64f/src/hal_bsp.c
+++ b/hw/bsp/frdm-k64f/src/hal_bsp.c
@@ -28,6 +28,9 @@
#include "hal/hal_flash_int.h"
#include "flash_map/flash_map.h"
#include "hal/hal_flash.h"
+#if MYNEWT_VAL(TIMER_0)
+#include "hal/hal_timer.h"
+#endif
#if MYNEWT_VAL(TRNG)
#include "trng/trng.h"
#include "trng_kinetis/trng_kinetis.h"
@@ -207,6 +210,11 @@
init_hardware();
BOARD_BootClockRUN();
+#if MYNEWT_VAL(TIMER_0)
+ rc = hal_timer_init(0, NULL);
+ assert(rc == 0);
+#endif
+
#if MYNEWT_VAL(TRNG)
rc = os_dev_create(&os_bsp_trng.dev, "trng",
OS_DEV_INIT_KERNEL, OS_DEV_INIT_PRIO_DEFAULT,