Patch Set 1:
Or maybe try to bargain a better license?

We will have to look into clearing up licensing for redistribution, with /dev/null as secondary option.
The distribution requirement follows from us providing the binaries through and While it could be argued that there's some implicit license for distribution via arising out of the vendor pushing the stuff to, I'm not sure if that automatically translates to redistribution to and to the whole internet from there.

View Change

To view, visit change 41848. To unsubscribe, or for help writing mail filters, visit settings.

Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-Change-Id: I7079e23481eb96d1140f2fa5bc1abe7bd4b2bac8
Gerrit-Change-Number: 41848
Gerrit-PatchSet: 1
Gerrit-Owner: Nico Huber <>
Gerrit-Reviewer: Angel Pons <>
Gerrit-Reviewer: Felix Held <>
Gerrit-Reviewer: Julius Werner <>
Gerrit-Reviewer: Martin Roth <>
Gerrit-Reviewer: Patrick Georgi <>
Gerrit-Reviewer: build bot (Jenkins) <>
Gerrit-CC: Paul Menzel <>
Gerrit-CC: Stefan Reinauer <>
Gerrit-CC: Werner Zeh <>
Gerrit-Comment-Date: Fri, 29 May 2020 10:35:01 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: No
Gerrit-MessageType: comment