ehmry/genode-ehmry
ehmry/genode-ehmry
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

nova: update kernel branch

Browse Source 
- sorting of initializer by Christian Prochaska - issue #3253
- leak of FPU register state reported by Julian Stecklina - thanks !
- fix page table synchronization bug - by Julian Stecklina
- add a second dynamic buddy if the memory requirements could not be fulfilled
  by the first dynamic buddy
- disable vtlb peek if EPT/NPT is enabled
This commit is contained in:
Alexander Boettcher 2019-04-09 10:17:35 +02:00 committed by Christian Helmuth
parent 51f51c18af
commit 26796c8f7a
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/base-nova/ports/nova.hash
View File

@ -1 +1 @@
fbcb216e5fcf0efd73751285110086665d6629cd
82de2badb4ce1466db3d90ad5da41153134e15ea

2
repos/base-nova/ports/nova.port
View File

@ -4,7 +4,7 @@ DOWNLOADS := nova.git
# r10 branch
URL(nova) := https://github.com/alex-ab/NOVA.git
REV(nova) := 6c078ffa8bbeb90dac0a098b6c064c00d2faebbd
REV(nova) := eef83cd3f7a25555e0fb8e29950a0ae436b7bc1c
DIR(nova) := src/kernel/nova
PATCHES := $(sort $(wildcard $(REP_DIR)/patches/*.patch))