genode/repos/base-nova/ports/nova.port
Alexander Boettcher 3279346f80 nova: update kernel (fixes endless loop)
If running multiple VBox VMMs with Windows as guest concurrently then it may
happen that the system seem to hang. It turned out that actually
a VM-exit storm (vmx_exception->handle_exc_nm) causes a endless loop between
kernel and vCPU. Nothing gets scheduled nor interrupts are received anymore.
The referenced kernel commit fixes this issue.

Issue #1343
2015-03-13 12:17:24 +01:00

11 lines
256 B
Plaintext

LICENSE := GPLv2
VERSION := git
DOWNLOADS := nova.git
URL(nova) := https://github.com/alex-ab/NOVA.git
# r8 branch
REV(nova) := 27392e1d28c5a4550f71ddda449779e071e86546
DIR(nova) := src/kernel/nova
PATCHES := $(wildcard $(REP_DIR)/patches/*.patch)