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

..

cap_map.h

Follow practices suggested by "Effective C++"

2018-01-17 12:14:35 +01:00

capability_space.h

Follow practices suggested by "Effective C++"

2018-01-17 12:14:35 +01:00

native_thread.h

Follow practices suggested by "Effective C++"

2018-01-17 12:14:35 +01:00

receive_window.h

Follow practices suggested by "Effective C++"

2018-01-17 12:14:35 +01:00

stdint.h

Adjust file headers to refer to the AGPLv3

2017-02-28 12:59:29 +01:00

syscall-generic.h

nova: use kernel branch r10

2018-06-29 10:44:58 +02:00

util.h

nova: fix syscall bindings with GCC 6

2017-05-31 13:15:52 +02:00