Changes in kernel/arch/ia32/src/ia32.c [eff1f033:96b02eb9] in mainline

File:

• kernel/arch/ia32/src/ia32.c (modified) (1 diff)

kernel/arch/ia32/src/ia32.c

@@ -157 +157 @@
 void arch_post_smp_init(void)
 {
-        /* Currently the only supported platform for ia32 is 'pc'. */
-        static const char *platform = "pc";
-
-        sysinfo_set_item_data("platform", NULL, (void *) platform,
-            str_size(platform));
-
 #ifdef CONFIG_PC_KBD
         /*