Post by @libreleah@mas.to

2026-04-17 02:59 UTC

A Libreboot contributor added ThinkPad X280 support to Libreboot a while ago, but I never got round to setting up mine until today. No idea wtf I did wrong when *I* tried adding it, but hey, it works. Thank you &quot;AlguienSasaki&quot; for adding it, and thank you Johann C. Rode for porting this wonderful ThinkPad to coreboot! And I installed OpenBSD on mine. Because of course I did. Why the hell would I *not* install OpenBSD on every computer that I own? OpenBSD is the best thing since the telephone.

Replies (3)

@libreleah@mas.to 2026-04-18 13:09

this is me rickrolling myself at 4k in openbsd. i only have a 1080p screen, but the yt video is set to 4k. and this is openbsd, running on my librebooted x280. librewolf running in openbsd, running on libreboot, running on x280. yes. i wanted to make sure my port compiled on at least one other machine than my main obsd dev machine. *now* i'm happy to submit this to the openbsd ports mailing list for review. yes. yes. yes.

Open ##1682787
@joel@gts.tumfatig.net 2026-04-17 09:03

@libreleah was wondering… does replacing Lenovo BIOS with coreboot prevent some of the hardware to work or be recognised by an OS without modification? Or is this a drop-in replacement without blobs?

Open ##2008848
@jamesvasile@fosstodon.org 2026-04-17 13:01

@libreleah Huh. I once tried to put OpenBSD on a laptop (I can't remember if it was a thinkpad or a macbook) and the install went fine but I was never able to config a full GUI environment. I was repeatedly warned that daily driving OpenBSD in this way was not recommended. But I wanted to learn about BSD so I tried it (and failed). Maybe I will give it another shot. Thanks for the inspiration!

Open ##2008853