#include "ser.h"
#include "wdt.h"
+#include "timer.h"
#include "ser_p.h"
#include "cfg/cfg_ser.h"
* 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