genode/repos/base-nova/ports
Alexander Boettcher 26796c8f7a nova: update kernel branch
- 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
2019-05-06 16:15:16 +02:00
..
nova.hash nova: update kernel branch 2019-05-06 16:15:16 +02:00
nova.port nova: update kernel branch 2019-05-06 16:15:16 +02:00