STM32: GPIO: use uint16_t for the mask of pins that we want read/write
[bertos.git] / boards / arduino / benchmark / arduino_kernel_footprint /
2010-11-28 asterixUpdate preset and fix for new name.
2010-11-28 asterixUse unique name for each benchmarck project.