gesture
Leah Rowe
parent
48a32d5016
commit
ad6b312f37
|
|
@ -198,7 +198,7 @@ exception, to mitigate this fact:
|
||||||
|
|
||||||
* "However, there is one exception for secondary embedded processors. The exception applies to software delivered inside auxiliary and low-level processors and FPGAs, within which software installation is not intended after the user obtains the product. This can include, for instance, microcode inside a processor, firmware built into an I/O device, or the gate pattern of an FPGA. The software in such secondary processors does not count as product software."
|
* "However, there is one exception for secondary embedded processors. The exception applies to software delivered inside auxiliary and low-level processors and FPGAs, within which software installation is not intended after the user obtains the product. This can include, for instance, microcode inside a processor, firmware built into an I/O device, or the gate pattern of an FPGA. The software in such secondary processors does not count as product software."
|
||||||
|
|
||||||
This exception violates every principle the FSF stands for, *and it should be
|
*This should be
|
||||||
rejected on ideological grounds*. The rest of libreboot's policy and overall
|
rejected on ideological grounds*. The rest of libreboot's policy and overall
|
||||||
ideology expressed, in this article, will be based largely on that rejection.
|
ideology expressed, in this article, will be based largely on that rejection.
|
||||||
The definition of *product software* is completely arbitrary; software is
|
The definition of *product software* is completely arbitrary; software is
|
||||||
|
|
@ -392,7 +392,6 @@ Here, it is discussing the microcode that is burned into *mask ROM* on the CPU
|
||||||
itself. It is simultaneously not giving the OK for microcode *updates* supplied
|
itself. It is simultaneously not giving the OK for microcode *updates* supplied
|
||||||
by either coreboot or the Linux kernel; according to the FSF, these are an
|
by either coreboot or the Linux kernel; according to the FSF, these are an
|
||||||
attack on your freedom, but the older, buggier microcode burned into ROM is OK.
|
attack on your freedom, but the older, buggier microcode burned into ROM is OK.
|
||||||
This is absolutely inconsistent.
|
|
||||||
|
|
||||||
The CPU already has microcode burned into mask ROM. The microcode configures
|
The CPU already has microcode burned into mask ROM. The microcode configures
|
||||||
logic gates in the CPU, to implement an instruction set, via special *decoders*
|
logic gates in the CPU, to implement an instruction set, via special *decoders*
|
||||||
|
|
@ -402,9 +401,7 @@ implement x86, or *broken* x86, and the default microcode is almost always
|
||||||
*broken x86* on Intel/AMD CPUs; it is inevitable, due to the complexity of
|
*broken x86* on Intel/AMD CPUs; it is inevitable, due to the complexity of
|
||||||
these processors.
|
these processors.
|
||||||
|
|
||||||
The basis of the FSF's disagreement about microcode *updates* is that they do
|
The FSF believes
|
||||||
believe otherwise; Stallman himself expressed such ignorance to me, in an email
|
|
||||||
conversation that I had with him as of January 2nd, 2022. The FSF believes
|
|
||||||
that these x86 microcode updates (on Intel/AMD) allow you to completely create
|
that these x86 microcode updates (on Intel/AMD) allow you to completely create
|
||||||
a new CPU that is fundamentally different than x86. This is not true. It is also
|
a new CPU that is fundamentally different than x86. This is not true. It is also
|
||||||
not true that *all* instructions in x86 ISA are implemented with microcode. In
|
not true that *all* instructions in x86 ISA are implemented with microcode. In
|
||||||
|
|
@ -445,8 +442,6 @@ The libreboot build system *no longer* applies the two patches linked above!
|
||||||
Instead, CPU microcode updates are enabled by default, on the affected boards.
|
Instead, CPU microcode updates are enabled by default, on the affected boards.
|
||||||
The result is superior IA32 feature control and added PECI support.
|
The result is superior IA32 feature control and added PECI support.
|
||||||
|
|
||||||
The *libreboot project* rejects the FSF's narrow, dogmatic view entirely.
|
|
||||||
|
|
||||||
This shift in project policy does not affect your freedom at all, because you
|
This shift in project policy does not affect your freedom at all, because you
|
||||||
still otherwise have older, buggier microcode anyway. However, it does improve
|
still otherwise have older, buggier microcode anyway. However, it does improve
|
||||||
system reliability by including the updates!
|
system reliability by including the updates!
|
||||||
|
|
@ -480,13 +475,6 @@ to replace stand-alone mask ROM ICs with compatible flash memory.
|
||||||
Conclusion
|
Conclusion
|
||||||
==========
|
==========
|
||||||
|
|
||||||
Compromise and nuance is the name of the game, even if you're the FSF. It is
|
|
||||||
completely unavoidable, but there are some who try to deny this fact and
|
|
||||||
pretend like things are as they'd prefer them to be, rather than how they
|
|
||||||
actually are in the real world.
|
|
||||||
|
|
||||||
Facts and *feelings* are usually very different things, and contradictory.
|
|
||||||
|
|
||||||
RYF isn't *wrong* per se, just flawed. It is correct in some ways and if
|
RYF isn't *wrong* per se, just flawed. It is correct in some ways and if
|
||||||
complied with, the result *does* give many freedoms to the user, but RYF
|
complied with, the result *does* give many freedoms to the user, but RYF
|
||||||
completely disregards many things that are now possible, including freedoms at
|
completely disregards many things that are now possible, including freedoms at
|
||||||
|
|
@ -536,9 +524,6 @@ Don't call it "Respects Your Freedom" or something similar. Instead, call it
|
||||||
something like: the freedom catalog. And actually focus on hardware, not just
|
something like: the freedom catalog. And actually focus on hardware, not just
|
||||||
software!
|
software!
|
||||||
|
|
||||||
In the year 2022 onwards, we can do better. The RYF program should be cancelled.
|
|
||||||
It is no longer fit for purpose.
|
|
||||||
|
|
||||||
Other resources
|
Other resources
|
||||||
===============
|
===============
|
||||||
|
|
||||||
|
|
@ -554,31 +539,3 @@ Bunnie.
|
||||||
It's worth a read! Link:
|
It's worth a read! Link:
|
||||||
|
|
||||||
<https://ariadne.space/2022/01/22/the-fsfs-relationship-with-firmware-is-harmful-to-free-software-users/>
|
<https://ariadne.space/2022/01/22/the-fsfs-relationship-with-firmware-is-harmful-to-free-software-users/>
|
||||||
|
|
||||||
Hector Martin's RYF thread
|
|
||||||
--------------------------
|
|
||||||
|
|
||||||
Hector Martin, leader of the *Asahi Linux* project (for booting linux kernels
|
|
||||||
on M1 macbooks) wrote a very robust twitter thread criticizing the RYF criteria
|
|
||||||
and much of what he wrote inspired *this* article that you are reading. See:
|
|
||||||
|
|
||||||
<http://web.archive.org/web/20220326234344/https://twitter.com/marcan42/status/1040626210999431168>
|
|
||||||
|
|
||||||
Article updates
|
|
||||||
===============
|
|
||||||
|
|
||||||
23 January 2022
|
|
||||||
---------------
|
|
||||||
|
|
||||||
Added link to Ariadne Conill's article.
|
|
||||||
|
|
||||||
21 January 2022
|
|
||||||
---------------
|
|
||||||
|
|
||||||
This article was updated on 21 January 2022, to add the section with examples
|
|
||||||
in the real world of FSF sweeping blobs under the rug (ATI T400 thinkpads,
|
|
||||||
ICH9M descriptors and TALOS II NIC firmware).
|
|
||||||
|
|
||||||
Also on 21 January 2022: added section about FSDG (criticisms of it).
|
|
||||||
|
|
||||||
Also on 21 January 2022: added link to Hector Martin's twitter thread.
|
|
||||||
|
|
|
||||||
|
|
@ -197,7 +197,7 @@ osboot, прийнявши його більш прагматичну політ
|
||||||
|
|
||||||
* "Однак є один виняток для вторинних вбудованих процесорів. Виняток стосується програмного забезпечення, що постачаєтья в бічних допоміжних і низькорівневих процесорах та FPGA, у яких встановлення програмного забезпечення не передбачається після того, як користувач отримає продукт. Це може включати, наприклад, мікрокод всередині процесора, мікропрограму, вбудовану в пристрій вводу-виводу, або структуру вентилів FPGA. Програмне забезпечення в таких вторинних процесорах не вважається програмним забезпеченням продукту."
|
* "Однак є один виняток для вторинних вбудованих процесорів. Виняток стосується програмного забезпечення, що постачаєтья в бічних допоміжних і низькорівневих процесорах та FPGA, у яких встановлення програмного забезпечення не передбачається після того, як користувач отримає продукт. Це може включати, наприклад, мікрокод всередині процесора, мікропрограму, вбудовану в пристрій вводу-виводу, або структуру вентилів FPGA. Програмне забезпечення в таких вторинних процесорах не вважається програмним забезпеченням продукту."
|
||||||
|
|
||||||
Цей виняток порушує всі принципи, за які стоїть FSF, *та має бути відхилено
|
*та має бути відхилено
|
||||||
з ідеологічних міркувань*. Решта політики libreboot і загальна
|
з ідеологічних міркувань*. Решта політики libreboot і загальна
|
||||||
ідеологія, виражена в цій статті, базуватиметься в основному на цьому неприйнятті.
|
ідеологія, виражена в цій статті, базуватиметься в основному на цьому неприйнятті.
|
||||||
Визначення *програмного забезпечення продукту* абсолютно довільне; програмне забезпечення
|
Визначення *програмного забезпечення продукту* абсолютно довільне; програмне забезпечення
|
||||||
|
|
@ -391,7 +391,6 @@ OpenBSD майже така сама, але вони розумні в цьом
|
||||||
ЦП. Одночасно він не дає ОК для *оновлень* мікрокоду, які надаються
|
ЦП. Одночасно він не дає ОК для *оновлень* мікрокоду, які надаються
|
||||||
coreboot або ядром Linux; згідно з FSF, це напад на
|
coreboot або ядром Linux; згідно з FSF, це напад на
|
||||||
вашу свободу, але старіший мікрокод із більшими помилками, записаний на ROM, є нормальним.
|
вашу свободу, але старіший мікрокод із більшими помилками, записаний на ROM, є нормальним.
|
||||||
Це абсолютно непослідовно.
|
|
||||||
|
|
||||||
ЦП вже має мікрокод, записаний в mask ROM. Мікрокод налаштовує
|
ЦП вже має мікрокод, записаний в mask ROM. Мікрокод налаштовує
|
||||||
логічні вентилі в ЦП, для реалізації набору інструкцій через спеціальні *декодери*,
|
логічні вентилі в ЦП, для реалізації набору інструкцій через спеціальні *декодери*,
|
||||||
|
|
@ -401,9 +400,7 @@ coreboot або ядром Linux; згідно з FSF, це напад на
|
||||||
*зламаним x86* на ЦП Intel/AMD; це неминуче через складність цих
|
*зламаним x86* на ЦП Intel/AMD; це неминуче через складність цих
|
||||||
процесорів.
|
процесорів.
|
||||||
|
|
||||||
Основою розбіжностей FSF щодо *оновлень* мікрокоду є те, що
|
FSF вважає,
|
||||||
вони вірять в інше; Столлман сам висловив мені таке невігластво в розмові електронною поштою,
|
|
||||||
яку я мала з ним 2 січня 2022 року. FSF вважає,
|
|
||||||
що ці оновлення мікрокоду x86 (для Intel/AMD) дозволяють повністю створити новий
|
що ці оновлення мікрокоду x86 (для Intel/AMD) дозволяють повністю створити новий
|
||||||
ЦП, який принципово відрізняється від x86. Це не правда. Також неправда,
|
ЦП, який принципово відрізняється від x86. Це не правда. Також неправда,
|
||||||
що *всі* інструкції в наборі інструкцій x86 реалізовано за допомогою мікрокоду. У
|
що *всі* інструкції в наборі інструкцій x86 реалізовано за допомогою мікрокоду. У
|
||||||
|
|
@ -444,8 +441,6 @@ coreboot або ядром Linux; згідно з FSF, це напад на
|
||||||
Натомість, оновлення мікрокоду ЦП увімкнено за замовчуванням на платах, уражених проблемою.
|
Натомість, оновлення мікрокоду ЦП увімкнено за замовчуванням на платах, уражених проблемою.
|
||||||
Результатом є чудове керування функціями IA32 та додана підтримка PECI.
|
Результатом є чудове керування функціями IA32 та додана підтримка PECI.
|
||||||
|
|
||||||
*Проект libreboot* повністю відкидає вузький, догматичний погляд FSF.
|
|
||||||
|
|
||||||
Ця зміна в політиці проекту зовсім не впливає на вашу свободу,
|
Ця зміна в політиці проекту зовсім не впливає на вашу свободу,
|
||||||
тому що в іншому випадку ви все одно маєте старіший мікрокод із більшими помилками. Однак він покращує
|
тому що в іншому випадку ви все одно маєте старіший мікрокод із більшими помилками. Однак він покращує
|
||||||
надійність системи, включаючи оновлення!
|
надійність системи, включаючи оновлення!
|
||||||
|
|
@ -478,13 +473,6 @@ RYF також робить кілька поступок, які зрештою
|
||||||
Висновки
|
Висновки
|
||||||
==========
|
==========
|
||||||
|
|
||||||
Компроміс і нюанси - це назва гри, навіть якщо ви FSF. Це абсолютно
|
|
||||||
неминуче, але є деякі, хто намагається заперечувати цей факт і
|
|
||||||
вдавати, ніби все відбувається так, як вони хотіли б, щоб воно було, а не те, яким воно є
|
|
||||||
насправді в реальному світі.
|
|
||||||
|
|
||||||
Факти та *почуття* зазвичай дуже різні речі та суперечливі.
|
|
||||||
|
|
||||||
RYF сам по собі не є *неправильним*, просто має недоліки. Певним чином це правильно, і
|
RYF сам по собі не є *неправильним*, просто має недоліки. Певним чином це правильно, і
|
||||||
якщо його дотримуватися, результат *надає* багато свобод користувачеві, але RYF
|
якщо його дотримуватися, результат *надає* багато свобод користувачеві, але RYF
|
||||||
повністю ігнорує багато речей, які зараз можливі, включаючи свободи на
|
повністю ігнорує багато речей, які зараз можливі, включаючи свободи на
|
||||||
|
|
@ -534,9 +522,6 @@ RYF сам по собі не є *неправильним*, просто має
|
||||||
приблизно так: каталог свободи. І насправді зосередьтеся на апаратному забезпеченні, а не
|
приблизно так: каталог свободи. І насправді зосередьтеся на апаратному забезпеченні, а не
|
||||||
лише на програмному забезпеченні!
|
лише на програмному забезпеченні!
|
||||||
|
|
||||||
У 2022 році ми можемо бути краще. Програму RYF слід скасувати.
|
|
||||||
Вона більше не підходить для цілей.
|
|
||||||
|
|
||||||
Інші ресурси
|
Інші ресурси
|
||||||
===============
|
===============
|
||||||
|
|
||||||
|
|
@ -552,31 +537,3 @@ Bunnie.
|
||||||
Варто прочитати! Посилання:
|
Варто прочитати! Посилання:
|
||||||
|
|
||||||
<https://ariadne.space/2022/01/22/the-fsfs-relationship-with-firmware-is-harmful-to-free-software-users/>
|
<https://ariadne.space/2022/01/22/the-fsfs-relationship-with-firmware-is-harmful-to-free-software-users/>
|
||||||
|
|
||||||
Тема RYF Гектора Мартіна
|
|
||||||
--------------------------
|
|
||||||
|
|
||||||
Гектор Мартін, керівник проекту *Asahi Linux* (для завантаження ядер Linux
|
|
||||||
на macbook M1) написав дуже серйозну гілку в twitter, критикуючи критерії RYF,
|
|
||||||
і багато з того, що він написав, надихнуло *цю* статтю, яку ви читаєте. Побачити:
|
|
||||||
|
|
||||||
<http://web.archive.org/web/20220326234344/https://twitter.com/marcan42/status/1040626210999431168>
|
|
||||||
|
|
||||||
Оновлення статті
|
|
||||||
===============
|
|
||||||
|
|
||||||
23 січня 2022 року
|
|
||||||
---------------
|
|
||||||
|
|
||||||
Додано посилання на статтю Аріадни Коніл.
|
|
||||||
|
|
||||||
21 січня 2022 року
|
|
||||||
---------------
|
|
||||||
|
|
||||||
Цю статтю було оновлено 21 січня 2022 року, щоб додати розділ із реальними прикладами FSF,
|
|
||||||
які прибирають блоби під килим (Thinkpad ATI T400,
|
|
||||||
ICH9M дескриптори і прошивка мережевої карти TALOS II).
|
|
||||||
|
|
||||||
Також 21 січня 2022 року: додано розділ про FSDG (критика щодо нього).
|
|
||||||
|
|
||||||
Також 21 січня 2022 року: додано посилання на гілку Гектора Мартіна у Twitter.
|
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue