> >>>> 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@lists.xen.org https://lists.xen.org/xen-devel
