STM32: GPIO: use uint16_t for the mask of pins that we want read/write
[bertos.git] / .gdbinit
2008-08-31 bernieAdd GDB support for debugging preemptive kernel