Re: [Fedora-legal-list] OpenBIOS license