Re: [Xen-devel] [PATCH 1/1] xen/arm: Add pl011 uart support in Xen for guest domains

[Konrad Rzeszutek Wilk <konrad.wilk@xxxxxxxxxx>]

> >>>>    Should vpl011.h be in include/xen/public/ ? If so you need
> >>>>    a different license for that file.
> >>>>
> I have moved the file from the public folder and keeping it in xen/arch/arm/

Huh? But if this is a ring protocol that is used by an OS that is not
part of of Xen tree it needs to be in public/io/ location.

Otherwise you may run in problems with different licenses (public/io
has BSD license while arch/arm is GPL) - and it may be that your
'console backend' is proprietary.

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
https://lists.xen.org/xen-devel