Fix for GNU/Linux emulation.

chopstx-gnu-linux.c

@@ -146,7 +146,7 @@ chx_handle_intr (uint32_t irq_num)
 static ucontext_t idle_tc;
 static char idle_stack[4096];
 
-static struct chx_thread main_thread;
+struct chx_thread main_thread;
 
 void
 chx_sigmask (ucontext_t *uc)
@@ -163,6 +163,7 @@ chx_sigmask (ucontext_t *uc)
 static void
 sigalrm_handler (int sig, siginfo_t *siginfo, void *arg)
 {
+  extern void chx_timer_expired (void);
   ucontext_t *uc = arg;
   (void)sig;
   (void)siginfo;
@@ -321,6 +322,7 @@ static struct chx_thread *
 chopstx_create_arch (uintptr_t stack_addr, size_t stack_size,
 		     voidfunc thread_entry, void *arg)
 {
+  struct chx_thread *tp;
   tp = malloc (sizeof (struct chx_thread));
   if (!tp)
     chx_fatal (CHOPSTX_ERR_THREAD_CREATE);

chopstx-gnu-linux.h

@@ -1,3 +1,4 @@
+#include <ucontext.h>
 /*
  * The thread context: specific to GNU/Linux.
  *

chopstx.h

@@ -30,7 +30,7 @@ struct chx_qh {
   struct chx_pq *next, *prev;
 };
 
-typedef uint32_t chopstx_t;
+typedef uintptr_t chopstx_t;
 typedef uint8_t chopstx_prio_t;
 
 extern chopstx_t chopstx_main;

entry.c

@@ -35,13 +35,14 @@
 
 #ifdef GNU_LINUX_EMULATION
 int emulated_main (int, const char **);
-void chx_init (void);
+void chx_init (struct chx_thread *);
 void chx_systick_init (void);
+extern struct chx_thread main_thread;
 
 int
 main (int argc, const char *argv[])
 {
-  chx_init ();
+  chx_init (&main_thread);
   chx_systick_init ();
   emulated_main (argc, argv);
 }