From 68768260e867a9638f5bb0b5f37a2bcf4c1a34d1 Mon Sep 17 00:00:00 2001 From: Thomas Martitz Date: Mon, 3 Mar 2014 20:26:08 +0100 Subject: Fix more reds. Change-Id: I4b58dda0953b7f9799238c32b78037b0a5403c04 --- firmware/target/arm/imx31/debug-imx31.c | 2 ++ 1 file changed, 2 insertions(+) (limited to 'firmware/target/arm/imx31/debug-imx31.c') diff --git a/firmware/target/arm/imx31/debug-imx31.c b/firmware/target/arm/imx31/debug-imx31.c index 2064a22f63..ff44f234df 100644 --- a/firmware/target/arm/imx31/debug-imx31.c +++ b/firmware/target/arm/imx31/debug-imx31.c @@ -18,8 +18,10 @@ * KIND, either express or implied. * ****************************************************************************/ + #include "config.h" #include "system.h" +#include "kernel.h" #include "string.h" #include "button.h" #include "lcd.h" -- cgit v1.2.3