Alexander Boettcher 92510af9d4 foc: working VM session support for AMD ...

- kernel: propagate cr0 to VMM on exit in nested paging case
- kernel: disable forceful VM exit on task switch
- vm_session: adjust to kernel changes

Issue #3111

2019-05-16 13:11:00 +02:00

..

base

foc: working VM session support for AMD

2019-05-16 13:11:00 +02:00

ld/foc

Genode application binary interface (ABI)

2016-12-23 16:50:28 +01:00