benchmark: do not build serial driver in context_switch if CONFIG_USE_HP_TIMER is...
[bertos.git] / boards / at91sam7x-ek / benchmark / kernel_footprint /
drwxr-xr-x   ..
-rw-r--r-- 33 .spec
drwxr-xr-x - cfg
-rw-r--r-- 3992 kernel_footprint.mk
-rw-r--r-- 882 kernel_footprint_user.mk
-rw-r--r-- 1928 main.c
-rw-r--r-- 2267 project.bertos