#ifndef CORE_DRIVERS_H #define CORE_DRIVERS_H #include #include void driver_piface_set(int pin, int value); void driver_gpio_set(int pin, int value); #endif /* CORE_DRIVERS_H */