ae6257dce1
Use git to get recent kernels from github. Adjust NOVA patch to compile with recent github version. Patch and use makefile of NOVA microkernel to avoid duplicated (and outdated) makefile in Genode Furthermore, this patch adds support for using NOVA on x86_64. The generic part of the syscall bindings has been moved to 'base-nova/include/nova/syscall-generic.h'. The 32/64-bit specific parts are located at 'base-nova/include/32bit/nova/syscalls.h' and 'base-nova/include/64bit/nova/syscalls.h' respectively. On x86_64, the run environment boots qemu using the Pulsar boot loader because GRUB legacy does not support booting 64bit ELF executables. In addition to the NOVA-specific changes in base-nova, this patch rectifies compile-time warnings or build errors in the 'ports' and 'libports' repositories that are related to NOVA x86_64 (i.e., Vancouver builds for 32bit only and needed an adaptation to NOVAs changed bindings) Fixes #233, fixes #234
51 lines
1.1 KiB
Makefile
51 lines
1.1 KiB
Makefile
#
|
|
# \brief Download, and unpack the NOVA hypervisor.
|
|
# \author Stefan Kalkowski
|
|
# \author Alexander Boettcher
|
|
# \date 2012-06-04
|
|
#
|
|
|
|
VERBOSE ?= @
|
|
ECHO = @echo
|
|
GIT_URL = git://github.com/IntelLabs/NOVA.git
|
|
GIT_REV = f6bad89f2df036c9ee75699c2138586e28c711a0
|
|
CONTRIB_DIR = contrib
|
|
PATCHES = $(shell find patches -name *.patch)
|
|
|
|
#
|
|
# Utility to check if a tool is installed
|
|
#
|
|
check_tool = $(if $(shell which $(1)),,$(error Need to have '$(1)' installed.))
|
|
|
|
$(call check_tool,git)
|
|
$(call check_tool,patch)
|
|
|
|
#
|
|
# Print help information by default
|
|
#
|
|
help::
|
|
|
|
prepare: $(CONTRIB_DIR)
|
|
|
|
help::
|
|
$(ECHO)
|
|
$(ECHO) "Prepare the NOVA base repository"
|
|
$(ECHO)
|
|
$(ECHO) "--- available commands ---"
|
|
$(ECHO) "prepare - checkout upstream source codes"
|
|
$(ECHO) "clean - remove upstream source codes"
|
|
$(ECHO)
|
|
|
|
$(CONTRIB_DIR)/.git:
|
|
$(VERBOSE)git clone $(GIT_URL) $(CONTRIB_DIR)
|
|
|
|
$(CONTRIB_DIR): $(CONTRIB_DIR)/.git
|
|
$(VERBOSE)cd $(CONTRIB_DIR); git reset --hard $(GIT_REV)
|
|
$(ECHO) "applying patches to '$(CONTRIB_DIR)/'"
|
|
$(VERBOSE)for i in $(PATCHES); do patch -d $@ -p1 < $$i; done
|
|
|
|
.PHONY: $(CONTRIB_DIR)
|
|
|
|
clean::
|
|
$(VERBOSE)rm -rf $(CONTRIB_DIR)
|