Changes in kernel/generic/src/cpu/cpu.c [d99c1d2:9dae191e] in mainline

File:

• kernel/generic/src/cpu/cpu.c (modified) (1 diff)

kernel/generic/src/cpu/cpu.c

@@ -48 +48 @@
 #include <adt/list.h>
 #include <print.h>
+#include <sysinfo/sysinfo.h>
 
 cpu_t *cpus;