Update to new kernel config; use cpu_relax().
[bertos.git] / examples / at91sam7s / cfg /
drwxr-xr-x   ..
-rw-r--r-- 2556 cfg_kern.h
-rw-r--r-- 3791 cfg_ser.h
-rw-r--r-- 1895 cfg_timer.h