benchmark: do not build serial driver in context_switch if CONFIG_USE_HP_TIMER is...
[bertos.git] / bertos / cfg / cfg_boot.h
2010-03-03 asterixAdd configuration files for at91sam7 flash driver.