#ifndef DCMOTOR_H
#define DCMOTOR_H

#include "GPIO.h"
#include "Timer.h"

void DCMotor_conf(void);

void DCMotor_setSpeed(double speed);

double DCMotor_getSpeed(void);

#endif