From: Claudio Jeker <cjeker@diehard.n-r-g.com>
Subject: Re: print intel core type info in dmesg
To: Theo de Raadt <deraadt@openbsd.org>
Cc: David Gwynne <david@gwynne.id.au>, tech@openbsd.org
Date: Wed, 23 Jul 2025 17:34:39 +0200

On Wed, Jul 23, 2025 at 08:42:30AM -0600, Theo de Raadt wrote:
> I think this overstates the importance of this difference over other
> parts of the cpu description.  I think there's a lot of optimism that
> this matters for performing work.  Why do we need to print this, if
> we aren't taking this into account during processing because we have no
> code to make use of this difference?

Adding support for this can be only done if we have topology information
that has more information. So I think we need this. Apart from that I
think nobody with a big/little system cares enough to work on the
scheduler and while I would look into this I have no big/little system. 

-- 
:wq Claudio