Index: firmware/thread.c
===================================================================
--- firmware/thread.c	(revision 16314)
+++ firmware/thread.c	(working copy)
@@ -172,8 +172,8 @@
  * Start the thread running and terminate it if it returns
  *---------------------------------------------------------------------------
  */
-static void start_thread(void) __attribute__((naked,used));
-static void start_thread(void)
+void start_thread(void) __attribute__((naked));
+void start_thread(void)
 {
     /* r0 = context */
     asm volatile (