genode/repos/base-nova/ports/nova.port

LICENSE   := GPLv2
VERSION   := git
DOWNLOADS := nova.git

URL(nova) := https://github.com/alex-ab/NOVA.git
# r8 branch
REV(nova) := 41868231ae25678e1f2e344e40fbdbd0fd13e8ee
DIR(nova) := src/kernel/nova

PATCHES   := $(wildcard $(REP_DIR)/patches/*.patch)
base-nova: migrate to new ports mechanism Issue #1082 2014-05-18 19:33:29 +02:00			`LICENSE := GPLv2`
			`VERSION := git`
			`DOWNLOADS := nova.git`

			`URL(nova) := https://github.com/alex-ab/NOVA.git`
nova: remove timer delay heuristic The commit uses a fixed kernel branch (r8), which fixes a caching bug observable in the Genode host. The quirk detecting the circumstance in the timer service is obsolete now and is removed. Fixes #1338 2015-01-06 10:32:01 +01:00			`# r8 branch`
			`REV(nova) := 41868231ae25678e1f2e344e40fbdbd0fd13e8ee`
base-nova: migrate to new ports mechanism Issue #1082 2014-05-18 19:33:29 +02:00			`DIR(nova) := src/kernel/nova`

			`PATCHES := $(wildcard $(REP_DIR)/patches/*.patch)`