Re: dmesg for Lenovo ThinkPad x200 w/coreboot

[Mihai Popescu]

Is this coreboot/libreboot/*boot a project of OpenBSD?
Is OpenBSD promoting this piece of firmware?

Thanks.