I recently learned that https://u-boot.org/ exists, but it's not the official website, though at least there is a clear disclaimer.

There is a button link leading to deinde.dev and another one that is not recognizable as one, leading to https://u-boot-project.org/ - the official website.

That's a dark pattern.
Quite audacious for open source IMHO.