hal_gpio_SOURCES = gpio.host.cc gpio.stm32f4.cc