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

hw_x86_64: Add x86 platform services to core 

Use the x86-specific platform_services.cc file and register the I/O port
session component.
This commit is contained in:
Reto Buerki 2015-03-18 17:37:14 +01:00 committed by Christian Helmuth
parent 28b5e67a8c
commit 5765398741
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
repos/base-hw/lib/mk/x86/core.inc
View File

@ -9,11 +9,12 @@
INC_DIR += $(REP_DIR)/src/core/include/spec/x86
# add C++ sources
SRC_CC += platform_services.cc
SRC_CC += spec/x86/platform_support.cc
SRC_CC += spec/x86/kernel/thread.cc
SRC_CC += spec/x86/kernel/cpu.cc
SRC_CC += kernel/vm_thread.cc
SRC_CC += x86/io_port_session_component.cc
SRC_CC += x86/platform_services.cc
# include less specific configuration
include $(REP_DIR)/lib/mk/core.inc