mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 12:32:56 +01:00
0d163915d0
With the new usb driver #4399 and usage of the updated dde_linux lx_eml/lx_kit approach a much higher rate of IRQ session construction/destruction and signal handler assignment (irq->sigh) are caused. This trickles down to the kernel, which causes an hang of the AMD IOMMUs due to not setting reserved bits adequately. The commit fixes the root cause in the kernel and add a guard into core's to limit such driver behaviour. Fixes #4482
11 lines
265 B
Plaintext
11 lines
265 B
Plaintext
LICENSE := GPLv2
|
|
VERSION := git
|
|
DOWNLOADS := nova.git
|
|
|
|
# r10 branch
|
|
URL(nova) := https://github.com/alex-ab/NOVA.git
|
|
REV(nova) := 1c6acf0af8256036cdea023576e2cb0e30e7d69c
|
|
DIR(nova) := src/kernel/nova
|
|
|
|
PATCHES := $(sort $(wildcard $(REP_DIR)/patches/*.patch))
|