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

sel4: move core console to core_printf library

This commit is contained in:
Norman Feske 2015-05-01 18:15:53 +02:00 committed by Christian Helmuth
parent e3cb8d48f7
commit c73b6e9c0d
3 changed files with 16 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
repos/base-sel4/lib/mk/core_printf.mk Normal file
View File

@ -0,0 +1,5 @@
SRC_CC = core_printf.cc
INC_DIR += $(REP_DIR)/src/base/console
LIBS += syscall
vpath core_printf.cc $(BASE_DIR)/src/base/console

21
repos/base-sel4/src/base/console/core_console.h
View File

@ -18,16 +18,15 @@
#include <sel4/arch/functions.h>
#include <sel4/arch/syscalls.h>
namespace Genode
namespace Genode { class Core_console; }
class Genode::Core_console : public Console
{
class Core_console : public Console
{
protected:
void _out_char(char c)
{
seL4_DebugPutChar(c);
}
};
}
protected:
void _out_char(char c)
{
seL4_DebugPutChar(c);
}
};

5
repos/base-sel4/src/test/sel4/target.mk
View File

@ -1,10 +1,7 @@
TARGET = test-sel4
SRC_CC = main.cc context_area.cc mini_env.cc thread.cc
LIBS = base-common syscall
SRC_CC += base/console/core_printf.cc
INC_DIR += $(REP_DIR)/src/base/console
LIBS = base-common core_printf syscall
vpath %.cc $(BASE_DIR)/src