1 files changed, 4 insertions, 0 deletions

diff --git a/firmware/timer.c b/firmware/timer.c
index b86d4493a3..c08e8348d9 100644
--- a/firmware/timer.c
+++ b/firmware/timer.c
@@ -208,6 +208,8 @@ static bool timer_set(long cycles, bool start)
         cycles_new = cycles;
 
     return true;
+#elif (CONFIG_CPU == IMX31L)
+    /* TODO */
 #else
     return __TIMER_SET(cycles, start);
 #endif /* CONFIG_CPU */
@@ -268,6 +270,8 @@ bool timer_register(int reg_prio, void (*unregister_callback)(void),
     irq_set_int_handler(IRQ_TIMER1, TIMER1_ISR);
     irq_enable_int(IRQ_TIMER1);
     return true;
+#elif CONFIG_CPU == IMX31L
+    /* TODO */
 #else
     return __TIMER_REGISTER(reg_prio, unregister_callback, cycles,
                             int_prio, timer_callback);