[Sched, vCPU] Fixed __current_vcpu[] setting and vcpu_find() code - Githubissues

kmu-embedded / k-hypervisor

ARM-based Hypervisor for Real-Time Embedded Systems

Other

14 stars 12 forks source link

[Sched, vCPU] Fixed __current_vcpu[] setting and vcpu_find() code #67

Closed igxactly closed 8 years ago