From bec35bb4b1fcadd2b111edff3c42f4546b2d09d9 Mon Sep 17 00:00:00 2001 From: Martin Stein Date: Mon, 3 Dec 2012 17:02:55 +0100 Subject: [PATCH] base-hw & imx31: compile error in kernel_support.h Fix #548 --- base-hw/src/core/imx31/kernel_support.h | 21 --------------------- base-hw/src/core/imx31/target.mk | 3 +++ 2 files changed, 3 insertions(+), 21 deletions(-) delete mode 100644 base-hw/src/core/imx31/kernel_support.h diff --git a/base-hw/src/core/imx31/kernel_support.h b/base-hw/src/core/imx31/kernel_support.h deleted file mode 100644 index 327e7f0fcd..0000000000 --- a/base-hw/src/core/imx31/kernel_support.h +++ /dev/null @@ -1,21 +0,0 @@ -/* - * \brief Platform specific parts of kernel - * \author Martin Stein - * \date 2012-04-23 - */ - -/* - * Copyright (C) 2012 Genode Labs GmbH - * - * This file is part of the Genode OS framework, which is distributed - * under the terms of the GNU General Public License version 2. - */ - -#ifndef _SRC__CORE__KERNEL_SUPPORT_H_ -#define _SRC__CORE__KERNEL_SUPPORT_H_ - -/* local includes */ -#include - -#endif /* _SRC__CORE__KERNEL_SUPPORT_H_ */ - diff --git a/base-hw/src/core/imx31/target.mk b/base-hw/src/core/imx31/target.mk index de0abcfab2..4312fa09e9 100644 --- a/base-hw/src/core/imx31/target.mk +++ b/base-hw/src/core/imx31/target.mk @@ -7,5 +7,8 @@ # declare wich specs must be given to build this target REQUIRES = platform_imx31 +# add include paths +INC_DIR += $(REP_DIR)/src/core/include/imx31 + # include less specific target parts include $(REP_DIR)/src/core/target.inc