Changes in kernel/arch/arm32/src/mach/testarm/testarm.c [96b02eb9:eff1f033] in mainline

File:

• kernel/arch/arm32/src/mach/testarm/testarm.c (modified) (2 diffs)

kernel/arch/arm32/src/mach/testarm/testarm.c

@@ -65 +65 @@
         gxemul_output_init,
         gxemul_input_init,
-        gxemul_get_irq_count
+        gxemul_get_irq_count,
+        gxemul_get_platform_name
 };
 
@@ -132 +133 @@
 }
 
+const char *gxemul_get_platform_name(void)
+{
+        return "gxemul";
+}
+
 /** Starts gxemul Real Time Clock device, which asserts regular interrupts.
  *