Switch to new kernel config files.
[bertos.git] / bertos / drv / ser.c
index f0f06ddd72ad16677ab71c881982879d2d3a87cf..bd27486b189beea4bdf3a8506beb5936a1d6949c 100644 (file)
@@ -56,7 +56,7 @@
 #include "ser_p.h"
 
 #include "cfg/cfg_ser.h"
-#include "cfg/cfg_kern.h"
+#include "cfg/cfg_proc.h"
 #include <cfg/debug.h>
 
 #include <mware/formatwr.h>