Update to new kernel config; use cpu_relax().
[bertos.git] / bertos / cpu / arm / scripts / openocd_ram.bat
1 openocd-ftd2xx.exe -f openocd_at91sam7_ftdi_ram_win.cfg