#include <wiringPi.h>
#include <piFace.h>
#include <wiring_debug.h>

#include <drivers.h>

void
driver_gpio_set(relay_t *relay, int value)
{
    digitalWrite(relay->number, value);
}