IIRC OpenBSD disabled SMT by default, which took away from performance, but overall secured the OS from several CPU-related vulnerabilities.