Hi. Just to ensure I don't go in the wrong direction: If I follow these instructions https://doc.coreboot.org/tutorial/part1.html do I install coreboot with OpenBIOS (because I've read something with SeaBIOS or so)?

Regards,

Bernd