Alexander Boettcher 4782fd34f6 vmm: parameterize Vcpu_dispatcher ... Pre-condition to realize #1129, to be able to let a vCPU handler thread also be a pthread.		2014-05-07 10:37:37 +02:00
..
noux_session	Move VFS from noux to 'os/include/vfs'	2014-04-29 15:19:27 +02:00
vmm	vmm: parameterize Vcpu_dispatcher	2014-05-07 10:37:37 +02:00