genode/repos/ports/src/virtualbox/spec/nova
Alexander Boettcher a9f263db16 vbox4: extended AMD SVM support
Issue #2454
2017-06-29 11:59:59 +02:00
..
mem_region.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
sup.cc Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
svm.h vbox4: extended AMD SVM support 2017-06-29 11:59:59 +02:00
vcpu_svm.h vbox4: extended AMD SVM support 2017-06-29 11:59:59 +02:00
vcpu_vmx.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
vcpu.h vbox4/5: remove printf 2017-05-31 13:16:19 +02:00
vmx.h vbox4/5: fix tr TSS_BUSY_FLAG handling 2017-03-24 16:19:58 +01:00