mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-27 09:12:32 +00:00
ef130a3bf9
Issue #3111 - enable vt-x in kernel configuration Kernel patches: - add unrestricted guest support - avoid kernel boot failure when vt-x is not available - avoid nullpointer in kernel when vcpu is not fully setup - avoid vcpu scheduling bug which causes starvation on same/below prio level - save efer register correctly from guest
10 lines
315 B
Diff
10 lines
315 B
Diff
--- src/kernel/sel4/src/arch/x86/object/vcpu.c
|
|
+++ src/kernel/sel4/src/arch/x86/object/vcpu.c
|
|
@@ -340,6 +340,7 @@ init_vtx_fixed_values(bool_t useTrueMsrs)
|
|
secondary_control_high |= secondary_control_mask;
|
|
exit_control_high |= exit_control_mask;
|
|
|
|
+ entry_control_high |= BIT(15);
|
|
return true;
|
|
}
|