preempt: introduce idle process; timer: use managed irqs for preemption

[bertos.git] / bertos / kern / signal.c

diff --git a/bertos/kern/signal.c b/bertos/kern/signal.c
index d7633a147809b582c64b2e300489ac2917658b12..4333fa7937fe251a91ee2a0c5bdb1e4120d35006 100644 (file)
--- a/bertos/kern/signal.c
+++ b/bertos/kern/signal.c
@@ -28,7 +28,6 @@
  *
  * Copyright 2004, 2008 Develer S.r.l. (http://www.develer.com/)
  * Copyright 1999, 2000, 2001 Bernie Innocenti <bernie@codewiz.org>
- *
  * -->
  *
  * \brief IPC signals implementation.
@@ -96,7 +95,6 @@
  *    timer_delayTickes().
  *
  * \version $Id$
- *
  * \author Bernie Innocenti <bernie@codewiz.org>
  */
 
@@ -106,7 +104,7 @@
 #include <drv/timer.h>
 #include <kern/proc.h>
 #include <kern/proc_p.h>
- 
+
 
 #if CONFIG_KERN_SIGNALS