genode/nova.port at 8842ba2e1c45af4976533099c32feff980705880 - genode - Gitea: with a cup of Mate

ehmry/genode

Alexander Boettcher 8842ba2e1c 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 12:39:11 +01:00

11 lines

256 B

Plaintext

Raw Blame History

 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)