Index: kernel/arch/arm32/include/machine_func.h
===================================================================
--- kernel/arch/arm32/include/machine_func.h	(revision b99a5e85052a524769bf0a363d99e387e28b50dd)
+++ kernel/arch/arm32/include/machine_func.h	(revision a19dc957cea3fcd943f7f2397e3ef9cdc58fc1d8)
@@ -108,4 +108,6 @@
 extern size_t machine_get_irq_count(void);
 
+extern const char * machine_get_platform_name(void);
+
 #endif
 
Index: kernel/arch/arm32/src/arm32.c
===================================================================
--- kernel/arch/arm32/src/arm32.c	(revision b99a5e85052a524769bf0a363d99e387e28b50dd)
+++ kernel/arch/arm32/src/arm32.c	(revision a19dc957cea3fcd943f7f2397e3ef9cdc58fc1d8)
@@ -49,4 +49,5 @@
 #include <str.h>
 #include <arch/ras.h>
+#include <sysinfo/sysinfo.h>
 
 /** Performs arm32-specific initialization before main_bsp() is called. */
@@ -116,4 +117,8 @@
 {
 	machine_input_init();
+	const char *platform = machine_get_platform_name();
+
+	sysinfo_set_item_data("platform", NULL, (void *) platform,
+	    str_size(platform));
 }
 
Index: kernel/arch/arm32/src/machine_func.c
===================================================================
--- kernel/arch/arm32/src/machine_func.c	(revision b99a5e85052a524769bf0a363d99e387e28b50dd)
+++ kernel/arch/arm32/src/machine_func.c	(revision a19dc957cea3fcd943f7f2397e3ef9cdc58fc1d8)
@@ -134,4 +134,10 @@
 }
 
+const char * machine_get_platform_name(void)
+{
+	if (machine_ops->machine_get_platform_name)
+		return machine_ops->machine_get_platform_name();
+	return NULL;
+}
 /** @}
  */