cfg_kern.h

Go to the documentation of this file.
00001 
00039 #ifndef CFG_KERN_H
00040 #define CFG_KERN_H
00041 
00042 #warning This file is deprecated, you should use the correct combination of cfg_proc.h, cfg_sem.h, cfg_signal.h and cfg_monitor.h
00043 #include "cfg_proc.h"
00044 #include "cfg_sem.h"
00045 #include "cfg_signal.h"
00046 #include "cfg_monitor.h"
00047 
00048 
00053 #define CONFIG_KERN_SCHED CONFIG_KERN
00054 
00055 #endif /*  CFG_KERN_H */