ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-24 07:46:42 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
d00baf8db4
genode/repos/base-nova/ports
History
Alexander Boettcher 3148b67288 nova: use kernel branch r10 
- Reordering and cleanup of commits to form a common branch shared by others
- Add right bit to deny portal usage for cross-core IPC
- avoid GP when switching on AMD SVM if disabled by UEFI/BIOS

Issue #2854
2018-06-29 10:44:58 +02:00
..
nova.hash nova: use kernel branch r10 2018-06-29 10:44:58 +02:00
nova.port nova: use kernel branch r10 2018-06-29 10:44:58 +02:00