benchmark: do not build serial driver in context_switch if CONFIG_USE_HP_TIMER is...
[bertos.git] / bertos / cfg / cfg_monitor.h
2009-03-25 battSplit kernel config files.