arduino: add the "kernel" preset template.
[bertos.git] / boards / arduino / templates / kernel /
drwxr-xr-x   ..
-rw-r--r-- 22 .spec
drwxr-xr-x - cfg
-rw-r--r-- 3011 kernel.mk
-rw-r--r-- 787 kernel_user.mk
-rw-r--r-- 2927 main.c
-rw-r--r-- 775 project.bertos