Use named mutexes * Detect when a virtual CPU core is invalid and force a reschedule to run anoter vcore * Restart capsules awaiting a reboot if a physical CPU core runs out of work to do
Use named mutexes
* Detect when a virtual CPU core is invalid
and force a reschedule to run anoter vcore
* Restart capsules awaiting a reboot if a
physical CPU core runs out of work to do

diodesign/diosix