Update to new kernel config; use cpu_relax().
[bertos.git] / bertos / cpu / arm / scripts / at91sam7_new.gdb
2008-12-03 asterixAdd script for the latest version of openocd.