[S] Change in coreboot[main]: Documentation: Add Protectli to ships-with-coreboot hw list

[Paul Menzel (Code Review)]

Attention is currently required from: Filip Lewiński, Michał Kopeć, Michał Żygowski.

Paul Menzel has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/79215?usp=email )

The change is no longer submittable: All-Comments-Resolved is unsatisfied now.

Change subject: Documentation: Add Protectli to ships-with-coreboot hw list
......................................................................

Patch Set 1:

(3 comments)

File Documentation/distributions.md:

https://review.coreboot.org/c/coreboot/+/79215/comment/25a1015b_55924579 :
PS1, Line 51: [Dasharo](https://dasharo.com/)
Fits on the line above?

https://review.coreboot.org/c/coreboot/+/79215/comment/87cce622_365791d0 :
PS1, Line 49: proprietary
            : vendors and expensive contracts. It is supported by
            : [Dasharo](https://dasharo.com/) coreboot based firmware, maintained by
            : [3mdeb](https://3mdeb.com/)
I haven’t read the other description, but as FSP is probably used in their products, parts of the firmware are also proprietary. “proprietary vendor” is also not well defined, I’d say.

https://review.coreboot.org/c/coreboot/+/79215/comment/86abb68b_1919c43a :
PS1, Line 53: Linux
It’s not a distribution.