Index: identcpu.c
===================================================================
RCS file: /cvs/src/sys/arch/amd64/amd64/identcpu.c,v
retrieving revision 1.138
diff -u -p -r1.138 identcpu.c
--- identcpu.c	3 Sep 2023 09:30:43 -0000	1.138
+++ identcpu.c	22 Dec 2023 06:07:24 -0000
@@ -653,6 +662,30 @@ identifycpu(struct cpu_info *ci)
 	printf(", %02x-%02x-%02x", ci->ci_family, ci->ci_model,
 	    ci->ci_signature & 0x0f);
 
+	if (strcmp(cpu_vendor, "GenuineIntel") == 0 && cpuid_level >= 0x1a) {
+		CPUID_LEAF(0x1a, 0, val, dummy, dummy, dummy);
+		if (val != 0) {
+			char typestr[32];
+			const char *coretypenm = typestr;
+			unsigned int coretype = (val >> 24) & 0xff;
+
+			switch (coretype) {
+			case 0x20:
+				coretypenm = "Atom";
+				break;
+			case 0x40:
+				coretypenm = "Core";
+				break;
+			default:
+				snprintf(typestr, sizeof(typestr),
+				    "core type %02xh", coretype);
+				break;
+			}
+
+			printf(", %s", coretypenm);
+		}
+	}
+
 	if ((cpu_ecxfeature & CPUIDECX_HV) == 0) {
 		uint64_t level = 0;
 		uint32_t dummy;