From b77627fdb963c407b905099aa5ef2c92915ffdbd Mon Sep 17 00:00:00 2001
From: Romain Goyet <romain@goyet.com>
Date: Tue, 1 Sep 2015 22:47:19 +0200
Subject: [PATCH] [ION] Delete useless file

---
 ion/Makefile  | 2 +-
 ion/src/ion.c | 6 ------
 2 files changed, 1 insertion(+), 7 deletions(-)
 delete mode 100644 ion/src/ion.c

diff --git a/ion/Makefile b/ion/Makefile
index ed5da4e85..09c955dff 100644
--- a/ion/Makefile
+++ b/ion/Makefile
@@ -1,3 +1,3 @@
 SFLAGS += -Iion/include -DKD_CONFIG_H=1
 include ion/platform/$(PLATFORM)/Makefile
-objs += $(addprefix ion/src/, ion.o)
+#objs += $(addprefix ion/src/, ion.o)
diff --git a/ion/src/ion.c b/ion/src/ion.c
deleted file mode 100644
index 49ead2155..000000000
--- a/ion/src/ion.c
+++ /dev/null
@@ -1,6 +0,0 @@
-#include <ion.h>
-
-void * ion_framebuffer_address = 0;
-uint16_t ion_framebuffer_width = 0;
-uint16_t ion_framebuffer_height = 0;
-uint8_t ion_framebuffer_bits_per_pixel = 0;