A few weeks back, Ian Campbell and Stefano Stabellini proposed that some files in the Xen.org community have their license changed:

The Xen source base includes two low level libraries (libxenctrl.so  and libxenguest.so) which provide low level services to toolstacks and  other components of the Xen system.
These two libraries are currently licensed under the umbrella of [...]