From 57653987413a7f3acf4d4552a1978106c2a9598d Mon Sep 17 00:00:00 2001 From: Reto Buerki Date: Wed, 18 Mar 2015 17:37:14 +0100 Subject: [PATCH] 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. --- repos/base-hw/lib/mk/x86/core.inc | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/repos/base-hw/lib/mk/x86/core.inc b/repos/base-hw/lib/mk/x86/core.inc index 79a1d7ce9..3c30ad66e 100644 --- a/repos/base-hw/lib/mk/x86/core.inc +++ b/repos/base-hw/lib/mk/x86/core.inc @@ -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