ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-23 23:42:32 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

NOVA: use latest kernel from github

Browse Source 
Related to issue #431. Requires toolchain rebuild to bump version to 2.22 !!!

Fixes #429
This commit is contained in:
Alexander Boettcher 2012-10-24 12:55:47 +02:00 committed by Norman Feske
parent 7c77d0ee5f
commit c1d59e81c2
2 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
base-nova/Makefile
View File

@ -7,8 +7,8 @@
VERBOSE ?= @
ECHO = @echo
GIT_URL = https://github.com/IntelLabs/NOVA.git
GIT_REV = ad92f48564b1ed53e67f58e194c918af4da6a32d
GIT_URL = git://github.com/IntelLabs/NOVA.git
GIT_REV = 16dd65c15dac298dc5b36d636d79fa0110bd5736
CONTRIB_DIR = contrib
PATCHES = $(shell find patches -name '*.patch')

3
base-nova/src/kernel/target.mk
View File

@ -30,7 +30,8 @@ $(error Unsupported environment)
endif
endif
CXX_LINK_OPT = -Wl,--gc-sections -Wl,--warn-common -Wl,-static -Wl,-n
git_version = $(shell cd $(NOVA_SRC_DIR) && (git rev-parse HEAD 2>/dev/null || echo 0) | cut -c1-7)
CXX_LINK_OPT = -Wl,--gc-sections -Wl,--warn-common -Wl,-static -Wl,-n -Wl,--defsym=GIT_VER=0x$(call git_version)
LD_TEXT_ADDR = # 0xc000000000 - when setting this 64bit compile fails because of relocation issues!!
LD_SCRIPT_STATIC = hypervisor.o