On 9/14/22 17:00, Holger Levsen wrote:
hi,

I'm looking seconds for this new proposal below, which is like
proposal E plus *also* offering free installer image.

Rationale: we should keep producing fully freely distributable
Debian installer images, for those cases were some included non-free
stuff else might limit distribution, eg to Iran or Cuba etc or
by imposing other restrictions...!


-----------------------------------------------------
Proposal F

This ballot option supersedes the Debian Social Contract (a foundation 
document) under point 4.1.5 of the constitution and thus requires a 3:1 
majority.

The Debian Social Contract is replaced with a new version that is identical to 
the current version in all respects except that it adds the following sentence 
to the end of point 5:

     The Debian official media may include firmware that is otherwise not
     part of the Debian system to enable use of Debian with hardware that
     requires such firmware.

The Debian Project also makes the following statement on an issue of the day:

We will include non-free firmware packages from the "non-free-firmware" section 
of the Debian archive on our official media (installer images and live images). The 
included firmware binaries will normally be enabled by default where the system 
determines that they are required, but where possible we will include ways for users to 
disable this at boot (boot menu option, kernel command line etc.).

When the installer/live system is running we will provide information to the 
user about what firmware has been loaded (both free and non-free), and we will 
also store that information on the target system such that users will be able 
to find it later. Where non-free firmware is found to be necessary, the target 
system will also be configured to use the non-free-firmware component by 
default in the apt sources.list file. Our users should receive security updates 
and important fixes to firmware binaries just like any other installed software.

We will publish these images as official Debian media, alongside the current 
media sets that do not include non-free firmware packages.

-------------------------------------------------------

(This is exactly "Proposal E" as found on 
https://www.debian.org/vote/2022/vote_003
now, except that in the very last sentence the word "replacing" has
been replaced with "alongside".)



seconded

Reply via email to