/*
 * button-led.c
 *
 *  Created on: Oct 3, 2018
 *      Author: corrado
 */

#include "stm32_unict_lib.h"

void main(void)
{
	GPIO_init(GPIOB);
	GPIO_init(GPIOC);

	GPIO_config_input(GPIOB, 10);
	GPIO_config_output(GPIOC, 3);

	for(;;) {
		int pin = GPIO_read(GPIOB, 10);
		GPIO_write(GPIOC, 3, !pin);
	}
}