ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-20 17:52:52 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

hw: default boot-modules vpath is generic

Browse Source 
Ref #1404
This commit is contained in:
Martin Stein 2015-02-09 10:08:54 +01:00 committed by Christian Helmuth
parent cb579ec8d7
commit 63f8a38b5a
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -13,8 +13,5 @@ SRC_CC += spec/arm/kernel/thread_base.cc
# add assembly sources
SRC_S += spec/arm/crt0.s
# use dummy boot-modules per default
BOOT_MODULES_VPATH = $(REP_DIR)/src/core/spec/arm
# include less specific configuration
include $(REP_DIR)/lib/mk/core.inc

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

@ -62,10 +62,13 @@ SRC_S += boot_modules.s
# provide Genode version information
include $(BASE_DIR)/src/core/version.inc
# switch to specific boot-modules if further images shall be available
# switch to build-specific boot-modules if further images shall be available
ifneq ($(wildcard $(BUILD_BASE_DIR)/boot_modules.s),)
BOOT_MODULES_VPATH = $(BUILD_BASE_DIR)
INC_DIR += $(BOOT_MODULES_VPATH)
else
# use dummy boot-modules per default
BOOT_MODULES_VPATH = $(REP_DIR)/src/core/
endif
vpath boot_modules.s $(BOOT_MODULES_VPATH)