Switch to new kernel config files.

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

diff --git a/bertos/kern/sem.c b/bertos/kern/sem.c
index 7d07f4d6f61585b928e1361186857c0071cca5fd..ac4e7d969bb4afa5bd505a182a16a59b9a31372f 100644 (file)
--- a/bertos/kern/sem.c
+++ b/bertos/kern/sem.c
@@ -37,11 +37,13 @@
  */
 
 #include "sem.h"
+#include <cfg/debug.h>
+
 #include <cpu/irq.h> // ASSERT_IRQ_DISABLED()
+
 #include <kern/proc.h>
 #include <kern/proc_p.h>
 #include <kern/signal.h>
-#include <cfg/debug.h>
 
 INLINE void sem_verify(struct Semaphore *s)
 {
@@ -52,7 +54,6 @@ INLINE void sem_verify(struct Semaphore *s)
        ASSERT(s->nest_count < 128);   // heuristic max
 }
 
-
 /**
  * \brief Initialize a Semaphore structure.
  */