void config_gpios();