search

kmu-embedded / k-hypervisor

ARM-based Hypervisor for Real-Time Embedded Systems
Other
14 stars 12 forks source link

Modify routine of ISR to run on the base of vcpuid #47

Open casionwoo opened 8 years ago

casionwoo commented 8 years ago

Current state is running on base of vmid