Libreboot (<a href="https:&#x2F;&#x2F;libreboot.org&#x2F;" rel="nofollow">https:&#x2F;&#x2F;libreboot.org&#x2F;</a>) is also interesting. The difference between them is that libreboot is a distribution of coreboot without any proprietary binary blobs, and an easier install path.