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

#include <drivers.h>

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