Update to new kernel config; use cpu_relax().
[bertos.git] / bertos / cpu / arm / drv / sysirq_at91.c
2008-08-29 bernierename cpuXXX_t to cpu_XXX_t
2008-04-04 battMove also cpu/ to bertos/ :-).