ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-15 15:32:07 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
genode/repos/base-sel4/ports/sel4.hash

2 lines
41 B
Plaintext
Raw Normal View History

sel4/x86: implement vm_session interface 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
2018-09-26 11:00:01 +02:00
8518d37c4b819daba60648ca23a739ccf1f55460
Reference in New Issue Copy Permalink