genode/repos/ports/src/virtualbox5/spec/nova
Christian Helmuth b622a5a788 vbox: use RTThreadCreate for periodic_gip thread
This prevents the following error message.

  [init -> vbox1] Error: pthread_self() called from alien thread named 'periodic_gip'
2019-11-19 14:42:23 +01:00
..
pgm.cc vbox5: increase boot speed of Linux guests 2018-01-17 12:19:44 +01:00
sup.cc libc: split task.cc into multiple files 2019-11-19 14:10:55 +01:00
sup_old.cc vbox: use RTThreadCreate for periodic_gip thread 2019-11-19 14:42:23 +01:00
svm.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
vcpu.h libc: split task.cc into multiple files 2019-11-19 14:10:55 +01:00
vcpu_svm.h vbox: save FPU state in 'EPT violation' exit handler 2019-05-27 14:46:54 +02:00
vcpu_vmx.h vbox: save FPU state in 'EPT violation' exit handler 2019-05-27 14:46:54 +02:00
vmx.h vbox4/5: fix tr TSS_BUSY_FLAG handling 2017-03-24 16:19:58 +01:00