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