Scheduler selects vCPU to receive message.

This policy has been exported from the hypervisor. The message is
delivered to any waiting vCPU if there are any and, if not, the first
vCPU is interrupted.

Change-Id: I9569511346c63a786d3e99bdee78bb7022522ad1
1 file changed
tree: 08d896155498371c68f553bb1d674edee2750bfd
  1. .gitignore
  2. AUTHORS
  3. LICENSE
  4. Makefile
  5. hf_call.S
  6. main.c