nova: adjust kernel quota calculation
Too less memory quota for a PD may be calculated, which leads to too early punishment for a Genode process. Discovered during Turmvilla scenario #1552 and issue #1733.
This commit is contained in:
parent
c7195c8652
commit
c0e88ec69e
|
@ -1 +1 @@
|
|||
1604ba3e775fdf46c51dbc074a35b5918aef3075
|
||||
3a12394d16e4cf40f93b5fdcab8798b66dcb51e0
|
||||
|
|
|
@ -4,7 +4,7 @@ DOWNLOADS := nova.git
|
|||
|
||||
# r9 branch
|
||||
URL(nova) := https://github.com/alex-ab/NOVA.git
|
||||
REV(nova) := acacde27eecbe3708a4caa6f8af781462f3f4776
|
||||
REV(nova) := 153d91d78655ad742a1119efa183aca32f728817
|
||||
DIR(nova) := src/kernel/nova
|
||||
|
||||
PATCHES := $(wildcard $(REP_DIR)/patches/*.patch)
|
||||
|
|
Loading…
Reference in New Issue
Block a user