I have been using Lenovo ThinkPad Laptops from time, when IBM logo was on them. In May 2025 I bought my first Laptop from TUXEDO Computers. There are few errors in dmesg, but the OpenBSD works well on it. Details are below.

Specification

• Full-HD (1920 x 1080) IPS non-glare | 100% sRGB
• 32 GB (2x 16GB) 3200MHz CL22 Crucial
• Intel Core i5-1235U (max. 4.4GHz 10 Cores, 12 Threads, 12 MB Cache, 15 W TDP)
• 4 TB Samsung 990 EVO Plus (NVMe PCIe 4.0 x4 / 5.0 x2)
• CZECH Keyboard with backlit with TUX super-key
• Intel Wi-Fi 6E AX211 (802.11ax | 2.4, 5 & 6 GHz | Bluetooth 5.3)
• without Windows
• 2 years warranty (Incl. parts, labour & shipping)
• EU power cord | F C6
• TUXEDO Logo

Diagnostic Outputs

Entry on Hardware for BSD and dmesg.

doas sysctl hw.perfpolicy=high
hw.perfpolicy: auto -> high
sysctl hw.cpuspeed            
hw.cpuspeed=2501
$ md5 -t
MD5 time trial.  Processing 10000 10000-byte blocks...
Digest = 52e5f9c9e6f656f3e1800dfa5579d089
Time   = 0.210000 seconds
Speed  = 476190476.190476 bytes/second

Working Drivers

These drivers works: audio output, audio and video recording, battery monitoring, speed adjustment, suspend and resume, hibernation and resume from hibernation, keyboard backlight, touchpad, wired and wireless network.