mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-28 17:48:53 +00:00
6d28ea1c5c
Add call to genode_setup_machine prior to machine registration in frontend machine setup code. This enables platform-specific adjustments to the machine instance. The new function is used on hw_x86_64_muen to clamp the processor count to 1 as multiple virtual CPUs are not supported on this platform. Issue #2016
19 lines
532 B
Makefile
19 lines
532 B
Makefile
include $(REP_DIR)/lib/mk/virtualbox-common.inc
|
|
|
|
LIBS += stdcxx
|
|
|
|
SRC_CC = sup.cc pgm.cc
|
|
|
|
INC_DIR += $(call select_from_repositories,src/lib/libc)
|
|
INC_DIR += $(call select_from_repositories,src/lib/pthread)
|
|
|
|
INC_DIR += $(VBOX_DIR)/Main/xml
|
|
INC_DIR += $(VBOX_DIR)/Main/include
|
|
INC_DIR += $(VBOX_DIR)/VMM/include
|
|
INC_DIR += $(REP_DIR)/src/virtualbox
|
|
INC_DIR += $(REP_DIR)/src/virtualbox/frontend
|
|
INC_DIR += $(REP_DIR)/src/virtualbox/spec/nova
|
|
|
|
vpath pgm.cc $(REP_DIR)/src/virtualbox/
|
|
vpath sup.cc $(REP_DIR)/src/virtualbox/spec/nova/
|