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 |
||
|---|---|---|
| .. | ||
| arm_cache.patch | ||
| autoconf_32.patch | ||
| autoconf_64.patch | ||
| config.patch | ||
| imx6q_sabrelite.config | ||
| imx7d_sabre.config | ||
| intel_efer.patch | ||
| intel_ug.patch | ||
| intel_vtx_check.patch | ||
| ioapic.patch | ||
| noise.patch | ||
| sched_bug_x86.patch | ||
| sel4_tlb_x86_bug.patch | ||
| vcpu_nullptr_bug.patch | ||