1 files changed, 1 insertions, 1 deletions

diff --git a/firmware/kernel.c b/firmware/kernel.c
index 84fb438b49..ec2c149cc5 100644
--- a/firmware/kernel.c
+++ b/firmware/kernel.c
@@ -35,7 +35,7 @@ static struct event_queue *all_queues[32];
 static int num_queues;
 
 void sleep(int ticks) __attribute__ ((section(".icode")));
-void queue_wait(struct event_queue *q, struct event *ev) __attribute__ ((section(".icode")));;
+void queue_wait(struct event_queue *q, struct event *ev) __attribute__ ((section(".icode")));
 
 /****************************************************************************
  * Standard kernel stuff