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