i believe that the author of SkyOS might be in violation of the GPL attached to the vlc.
http://www.skyos.org
If I am wrong I appologize up front, but my understanding is that the SkyOS author ported vlc to his SkyOS platform but does not provide a written offer for the source code nor can one download his changes anywhere on his site.
the same author admits to using his own modified version of grub but does not provide the source nor an offer to obtain the source for it.