[PATCH v2 0/2] arinc: Implement cpu-pool support

[Nathan Studer <nate.studer@dornerworks.com>]

From: Nathan Studer <nate.studer@dornerworks.com>

Update the arinc653 scheduler to support CPU cpu pools.

These changes do not implement arinc653 multicore.  Since the schedule only
supports 1 vcpu entry per slot, even if the vcpus of a domain are run on
multiple pcpus, the scheduler will essentially serialize their execution.

The formatting patch from the original series has already been applied and
has been dropped from v2.

George, you granted a release-ack for the original series, which I sent
in almost two weeks ago (I left on paternity leave in the meantime).  
I would argue that this functionality could be granted an exception for
the same reasons you listed in your original release-ack, but if this is
no longer the case, I defer to your judgement.

Nathan Studer (2):
  arinc: Add cpu-pool support to scheduler.
  arinc:  Add poolid parameter to scheduler get/set functions

 tools/libxc/xc_arinc653.c   |    6 ++-
 tools/libxc/xenctrl.h       |    2 +
 xen/common/sched_arinc653.c |  111 ++++++++++++++++++++++++++++++++-----------
 3 files changed, 90 insertions(+), 29 deletions(-)

-- 
1.7.9.5