Index: kernel/generic/src/cpu/cpu.c
===================================================================
--- kernel/generic/src/cpu/cpu.c	(revision e257ae3afe1ceec7d39e238296d4efc444331167)
+++ kernel/generic/src/cpu/cpu.c	(revision ee35ba0b80f7497ba6d7810f782ca99e8e9365a6)
@@ -48,4 +48,5 @@
 #include <adt/list.h>
 #include <print.h>
+#include <sysinfo/sysinfo.h>
 
 cpu_t *cpus;
@@ -96,4 +97,6 @@
 	cpu_identify();
 	cpu_arch_init();
+
+	sysinfo_set_item_val("cpu.count", NULL, config.cpu_count);
 }