#include "delay.h"
#include "platform/gpio.h"

using namespace hal;

int main(void)
{
    Gpio led_1(17);
    while(true) {
        delay_ms(200);
        led_1.toggle();
    }
    return 0;
}