Changeset 62550dce in mainline for kernel/generic/src/cpu/cpu.c

Timestamp:

2010-04-01T21:31:25Z (14 years ago)

Author:

Stanislav Kozina <stanislav.kozina@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

dd6c71c

Parents:

79edc36

Message:

ps -c echoes info about CPU's
cpu count is accessible through sysinfo("cpu.count")

File:

• kernel/generic/src/cpu/cpu.c (modified) (2 diffs)

kernel/generic/src/cpu/cpu.c

@@ -48 +48 @@
 #include <adt/list.h>
 #include <print.h>
+#include <sysinfo/sysinfo.h>
 
 cpu_t *cpus;
@@ -96 +97 @@
         cpu_identify();
         cpu_arch_init();
+
+        sysinfo_set_item_val("cpu.count", NULL, config.cpu_count);
 }