ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

base-hw & imx31: compile error in kernel_support.h 

Fix #548
This commit is contained in:
Martin Stein 2012-12-03 17:02:55 +01:00 committed by Norman Feske
parent 6b33757154
commit bec35bb4b1
2 changed files with 3 additions and 21 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
base-hw/src/core/imx31/kernel_support.h
View File

@ -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 <arm1136/kernel_support.h>
#endif /* _SRC__CORE__KERNEL_SUPPORT_H_ */

3
base-hw/src/core/imx31/target.mk
View File

@ -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