*** kernel.sgml	Tue Aug 26 14:25:08 2003
--- kernel.sgml.orig	Tue Aug 26 14:25:00 2003
***************
*** 1178,1184 ****
  static unsigned char producer_stack[PRODUCER_STACKSIZE];
  static unsigned char worker_stacks[NUMBER_OF_WORKERS][WORKER_STACKSIZE];
  static cyg_handle_t producer_handle, worker_handles[NUMBER_OF_WORKERS];
! static cyg_thread producer_thread, worker_threads[NUMBER_OF_WORKERS];
  
  static void
  producer(cyg_addrword_t data)
--- 1178,1184 ----
  static unsigned char producer_stack[PRODUCER_STACKSIZE];
  static unsigned char worker_stacks[NUMBER_OF_WORKERS][WORKER_STACKSIZE];
  static cyg_handle_t producer_handle, worker_handles[NUMBER_OF_WORKERS];
! static cyg_thread_t producer_thread, worker_threads[NUMBER_OF_WORKERS];
  
  static void
  producer(cyg_addrword_t data)