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

#include <drivers.h>

void
driver_gpio_set(int pin, int value)
{
    // disable "unused parameter" warning (happens when using wiring_debug)
    (void)pin;
    (void)value;
    digitalWrite(pin, value);
}