[Timer, Sched] Added tickless mode code and get_current_vcpu() - Githubissues

kmu-embedded / k-hypervisor

ARM-based Hypervisor for Real-Time Embedded Systems

Other

14 stars 12 forks source link

[Timer, Sched] Added tickless mode code and get_current_vcpu() #65

Closed igxactly closed 8 years ago