Is Wikipedia correct?

[Fred .Flintstone]

Since there are exports on this mailing lists on SeaBIOS and BIOS in
general, please check if Wikipedia is correct, if any information is
wrong or outdated or
missing.

https://en.wikipedia.org/wiki/SeaBIOS
https://en.wikipedia.org/wiki/BIOS#Vendors_and_products