--- a/gsm-fw/gpf/osl/Makefile	Mon Jun 23 03:26:30 2014 +0000
+++ b/gsm-fw/gpf/osl/Makefile	Mon Jun 23 04:20:09 2014 +0000
@@ -4,7 +4,8 @@
 XOPTS=	-DRUN_FLASH -mthumb
 
 IOBJS=	os_com_ir.o os_mem_ir.o os_mis_ir.o os_pro_ir.o os_sem_ir.o
-XOBJS=	os_com_fl.o os_drv.o os_isr.o os_mem_fl.o os_pro_fl.o os_sem_fl.o
+XOBJS=	os_com_fl.o os_drv.o os_isr.o os_mem_fl.o os_pro_fl.o \
+	os_sem_fl.o os_tim_fl.o
 
 all:	${IOBJS} ${XOBJS}
 

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/gsm-fw/gpf/osl/os_tim_fl.c	Mon Jun 23 04:20:09 2014 +0000
@@ -0,0 +1,37 @@
+/*
+ * This C module is a reconstruction based on the disassembly of
+ * os_tim.obj in frame_na7_db_fl.lib from the Leonardo package.
+ */
+
+/* set of included headers from COFF symtab: */
+#include <stdio.h>
+#include "gpfconf.h"	/* FreeCalypso addition */
+#include "../../nucleus/nucleus.h"
+#include "typedefs.h"
+#include "os.h"
+#include "gdi.h"
+#include "os_types.h"
+#include "os_glob.h"
+
+extern UNSIGNED TMD_Timer;
+extern INT      TMD_Timer_State;
+
+extern T_OS_TIMER_ENTRY TimerTable[];
+extern T_OS_TIMER_TABLE_ENTRY *p_list[];
+
+extern void os_Timeout(unsigned t_handle);
+extern void timer_error(int err);
+
+unsigned os_time_to_tick_multiplier = TIME_TO_TICK_TDMA_FRAME_MULTIPLIER;
+unsigned os_tick_to_time_multiplier = TICK_TO_TIME_TDMA_FRAME_MULTIPLIER;
+
+unsigned t_start_ticks;
+T_OS_TIMER_TABLE_ENTRY *t_running;
+int used_timers;
+int next_t_handle;
+int t_list_access;
+int max_used_timers;
+NU_SEMAPHORE TimSemCB;
+NU_TIMER os_timer_cb;
+
+static int t_info_read;