Cache more packages for the ubuntu build
Merge pull request #517 from BobBall/missing-header-spec-fix

Fix specfile typo
Merge pull request #503 from BobBall/ubuntu-speedup

Cache more packages for the ubuntu build
Add an ignore file for Linaro/trusty: don't build OASIS or Mirage

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
ocaml-evtchn: we need the xen-missing-headers

Otherwise we fail to build the unix.activations subpackage, which
will be needed by other tools.

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
pbuilder: add universe, because cowdancer on armhf has migrated there (!)

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
debian: the reported arch could be armhf or maybe armv7l

In both cases this should be "any" rather than "all" (where "any"
is like '_a i.e. a monomorphic variable which gets unified later)

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
mappkgname: treat Linaro the same as Ubuntu

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
xcp-idl: update to 0.9.18

This is needed by the newer xenopsd.

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Update to xenopsd 0.9.39, with libxl support

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
xenserver-core: depend on xenopsd-xenlight

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
ocaml-xen-lowlevel-libs: update to 0.9.21, package xenlight

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
xenopsd: create xenopsd-xenlight subpackage

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
xapi: switch to xenopsd-xenlight by default

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
xenserver-install-wizard: Update to 0.9.36 which starts xenopsd-xenlight

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
xenopsd: adapt to new converged hotplug scripts

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
xapi: new stunnel doesn't accept the 'compression=' argument

It's not clear whether burning dom0 CPU on compression to reduce network
bandwidth is really a good tradeoff.

Signed-off-by: David Scott <dave.scott@citrix.com>
xapi: listen on port 443

The $ACCEPT (=$2) argument will be IPv6 if the host has any kind of IPv6
enabled, even if we're not using it.

Signed-off-by: David Scott <dave.scott@citrix.com>
xenopsd: add a vncterm-wrapper to work around the hardcoded keymaps path

The wrapper will search around for the keymaps and make a symlink so that
they matches where vncterm thinks they should be.

Signed-off-by: David Scott <dave.scott@citrix.com>
xenopsd: the keys in the config file are 'vbd-' not 'block-'

Signed-off-by: David Scott <dave.scott@citrix.com>