I was recently looking to purchase a minifree (https://minifree.org/) laptop to support the LibreBoot project. OpenBSD was listed as an option.
Unfortunately, Leah, the leader of the project said she had to remove OpenBSD because it was too difficult to get it installed on their laptops with LibreBoot. Does anyone know if they will be bringing it back or what the difficulties might be with LibreBoot and OpenBSD?