Timer configuration. More...
#include <config/defaults.h>
#include <config/local/timer.h>
Go to the source code of this file.
Timer configuration.
Definition in file timer.h.