[kawsper]

Libreboot (https://libreboot.org/) 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.

[PeCaN]

And that libreboot has no hardware support.