@ -31,7 +31,6 @@
#include <auto_init.h>
#endif
#define ENABLE_DEBUG
#include <debug.h>
volatile tcb_t *sched_threads[MAXTHREADS];
@ -24,8 +24,6 @@
#include <cib.h>
#include "flags.h"
//#define ENABLE_DEBUG
#include "debug.h"
static int _msg_receive(msg_t *m, int block);
@ -23,7 +23,6 @@
#include "sched.h"
#include <irq.h>
int mutex_init(struct mutex_t *mutex)
@ -20,7 +20,6 @@
#include <string.h>
#include <stdlib.h>
extern void *sbrk(int incr);
@ -19,7 +19,6 @@
#include "queue.h"
//#define ENABLE_DEBUG 0
void queue_remove(queue_node_t *root, queue_node_t *node)
@ -21,7 +21,6 @@
#include <clist.h>
#include <bitarithm.h>
volatile int num_tasks = 0;
#include "thread.h"
#include "kernel.h"
#include "kernel_intern.h"
#include "bitarithm.h"
@ -9,7 +9,6 @@
#include <iap.h>
#include <lpc2387.h>
/* pointer to reserved flash rom section for configuration data */
@ -18,7 +18,6 @@
#include "hwtimer.h"
#include "diskio.h"
extern unsigned long hwtimer_now(void);
@ -25,7 +25,6 @@
#include <hwtimer.h>
#include <config.h>
//#define ENABLE_DEBUG (1)
/* some externals */
@ -12,7 +12,6 @@
#include <cc2420_arch.h>
static uint16_t radio_channel;
@ -46,7 +46,6 @@ and the mailinglist (subscription via web site)
#include <sht11-board.h>
float sht11_temperature_offset;
@ -22,7 +22,6 @@
#include "vtimer.h"
extern int main(void);
#include <posix_io.h>
static int min(int a, int b)
@ -51,7 +51,6 @@
/*------------------------------------------------------------------------------------*/
@ -13,7 +13,6 @@
#include <vtimer.h>