Update to new kernel config; use cpu_relax().
[bertos.git] / bertos / cpu / arm / drv / kdebug_at91.h
2008-04-04 battMove also cpu/ to bertos/ :-).