STM32: GPIO: use uint16_t for the mask of pins that we want read/write
[bertos.git] / boards / arduino / templates / arduino_kernel / arduino_kernel.mk
2010-11-29 asterixAdd renamed preset makefiles.