Disable the kernel in all the "empty" preset templates.
[bertos.git] / boards / at91sam7s-ek /
drwxr-xr-x   ..
-rw-r--r-- 59017 .image.png
-rw-r--r-- 28 .spec
drwxr-xr-x - benchmark
drwxr-xr-x - examples
drwxr-xr-x - hw
drwxr-xr-x - templates