rename cpuXXX_t to cpu_XXX_t

[bertos.git] / bertos / drv / ser.c

diff --git a/bertos/drv/ser.c b/bertos/drv/ser.c
index e187b9abbe5bbdb5f545c9e3ecd10c3305291b55..f0f06ddd72ad16677ab71c881982879d2d3a87cf 100644 (file)
--- a/bertos/drv/ser.c
+++ b/bertos/drv/ser.c
@@ -52,6 +52,7 @@
 
 #include "ser.h"
 #include "wdt.h"
+#include "timer.h"
 #include "ser_p.h"
 
 #include "cfg/cfg_ser.h"
@@ -68,7 +69,7 @@
  * Sanity check for config parameters required by this module.
  */
 #if !defined(CONFIG_KERN) || ((CONFIG_KERN != 0) && CONFIG_KERN != 1)
-       #error CONFIG_KERNEL must be set to either 0 or 1 in cfg_kern.h
+       #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