Patch series available in this git branch:
https://xenbits.xen.org/git-http/people/aperard/xen-unstable.git br.licences-fix-public-headers-v1

Hi,

Andrew pointed out some licences issue:

https://lore.kernel.org/xen-devel/b58f5340-d4fa-df9d-89de-6137005add77@citrix.com/T/#u
tracked here: https://gitlab.com/xen-project/xen/-/issues/35

So I attempt to fix them with this series.

For 4.17:
    This mostly change "documentation" so little risk for those patch, except
    "xen-foreign: Capture licences from the input headers" which changes
    "mkheader.py" which could generate broken headers.

Anthony PERARD (4):
  xen: Add licence information to public/errno.h
  tools/include/xen-foreign: Capture licences from the input headers
  xen: Add licence header to device_tree_defs.h
  Rework COPYING installed in /usr/include/xen/, due to several licences

 tools/include/Makefile                |  1 -
 xen/include/public/device_tree_defs.h |  6 ++++++
 xen/include/public/errno.h            |  2 ++
 tools/include/xen-foreign/mkheader.py | 15 +++++++++++++--
 tools/include/xen/COPYING             | 26 ++++++++++++++++++++++++++
 5 files changed, 47 insertions(+), 3 deletions(-)
 create mode 100644 tools/include/xen/COPYING

-- 
Anthony PERARD