benchmark: do not build serial driver in context_switch if CONFIG_USE_HP_TIMER is...
[bertos.git] / bertos / cpu / arm / drv / sysirq_at91.c
2010-03-17 battAT91SAM7: clarify sysirq_dispatcher description.
2010-03-17 arighiMerge branch "preempt" in "trunk".
2008-08-29 bernierename cpuXXX_t to cpu_XXX_t
2008-04-04 battMove also cpu/ to bertos/ :-).