Changes in kernel/arch/arm32/src/mach/testarm/testarm.c [eff1f033:96b02eb9] 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_platform_name
+        gxemul_get_irq_count
 };
 
@@ -133 +132 @@
 }
 
-const char *gxemul_get_platform_name(void)
-{
-        return "gxemul";
-}
-
 /** Starts gxemul Real Time Clock device, which asserts regular interrupts.
  *