Julien Grall f224b60791 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>

2014-07-10 11:20:08 +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

include: import FreeBSD headers for evtchn and privcmd devices

2014-06-18 17:17:47 +01:00

Makefile

xen: Install arch-arm directory headers

2014-07-10 11:20:08 +01:00