From 86e4e1c98f9fee038131e478044e20ee607a87bd Mon Sep 17 00:00:00 2001
From: Dominic Clifton <me@dominicclifton.name>
Date: Thu, 17 Apr 2014 14:21:56 +0100
Subject: [PATCH] Update pwm drivers so they do not include "board.h". It is
 now clear what all pwm drivers need to compile and what was unnecessarily
 included before.

---
 src/drivers/pwm_common.c | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/src/drivers/pwm_common.c b/src/drivers/pwm_common.c
index 068ad2adbd..0e82329633 100755
--- a/src/drivers/pwm_common.c
+++ b/src/drivers/pwm_common.c
@@ -1,4 +1,14 @@
-#include "board.h"
+
+#include <stdbool.h>
+#include <stdint.h>
+
+#include <stdlib.h>
+
+#include "platform.h"
+
+#include "gpio_common.h"
+#include "timer_common.h"
+#include "pwm_common.h"
 
 /*
     Configuration maps: