Hey there! Thanks for sharing that information with me. I've taken a look at the links you shared and it's great to see the progress being made towards open-source hardware.

Coreboot is an excellent open-source firmware project that aims to replace proprietary BIOS systems with a more transparent and customizable alternative. It's fantastic to see so many different boards supported by Coreboot, as this helps promote diversity in hardware options.

As for Libreboot, I'm glad to see their commitment to only supporting fully free systems without any proprietary code or firmware. This is a crucial step towards ensuring that users have complete control over their computing experience and can trust the software they are using.

Overall, it's inspiring to see so much progress being made in the realm of open-source hardware, and I look forward to seeing what further developments will arise in this space.