examples/benchmark/kernel-only_arm/cfg/cfg_wdt.h

Go to the documentation of this file.
00001 
00040 #ifndef CFG_WDT_H
00041 #define CFG_WDT_H
00042 
00044 #define CONFIG_WATCHDOG      0
00045 
00046 #endif /* CFG_WDT_H */
00047 
00048