Comply to cfg name.
[bertos.git] / bertos / drv / ser.c
index bf0d91c1872cc0b12e8c3dd47649210227625f26..f0f06ddd72ad16677ab71c881982879d2d3a87cf 100644 (file)
@@ -52,6 +52,7 @@
 
 #include "ser.h"
 #include "wdt.h"
+#include "timer.h"
 #include "ser_p.h"
 
 #include "cfg/cfg_ser.h"
@@ -67,8 +68,8 @@
 /*
  * Sanity check for config parameters required by this module.
  */
-#if !defined(CONFIG_KERNEL) || ((CONFIG_KERNEL != 0) && CONFIG_KERNEL != 1)
-       #error CONFIG_KERNEL must be set to either 0 or 1 in cfg_kern.h
+#if !defined(CONFIG_KERN) || ((CONFIG_KERN != 0) && CONFIG_KERN != 1)
+       #error CONFIG_KERN must be set to either 0 or 1 in cfg_kern.h
 #endif
 #if !defined(CONFIG_SER_RXTIMEOUT)
        #error CONFIG_SER_TXTIMEOUT missing in cfg_ser.h