Update context switch preset and fix to new name.
[bertos.git] / boards / arduino / benchmark / arduino_kernel_footprint /
drwxr-xr-x   ..
-rw-r--r-- 443 .spec
drwxr-xr-x - cfg
-rw-r--r-- 3545 kernel_footprint.mk
-rw-r--r-- 882 kernel_footprint_user.mk
-rw-r--r-- 1922 main.c
-rw-r--r-- 768 project.bertos