Julien Grall 99860894b3 xen: Install arch-arm directory headers ...

Some headers for ARM are not installed on the host. This may make external
software relying on Xen headers failed to compile on ARM.

Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
(cherry picked from commit f224b60791)

2014-07-23 09:50:26 +01:00

..

xen-external

mini-os: use BSD sys/queue.h instead of Linux list.h

2012-01-31 16:06:14 +00:00

xen-foreign

xen: arm: TCR_EL1 is 64-bit on arm64

2013-12-04 14:32:19 +00:00

xen-sys

tools: Synchronize privcmd header constants

2012-11-12 17:03:20 +00:00

Makefile

xen: Install arch-arm directory headers

2014-07-23 09:50:26 +01:00