Update to new kernel config: kernel if OFF by default now.
[bertos.git] / spec / at91sam7s-ek /
drwxr-xr-x   ..
-rw-r--r-- 1749 at91sam7s-ek.bdef