Changes in kernel/arch/arm32/src/machine_func.c [9d58539:f9ab562] in mainline

File:

• kernel/arch/arm32/src/machine_func.c (modified) (3 diffs)

kernel/arch/arm32/src/machine_func.c

@@ -41 +41 @@
 #include <arch/mach/gta02/gta02.h>
 #include <arch/mach/integratorcp/integratorcp.h>
-#include <arch/mach/testarm/testarm.h>
+#include <arch/mach/beagleboardxm/beagleboardxm.h>
 
 /** Pointer to machine_ops structure being used. */
@@ -51 +51 @@
 #if defined(MACHINE_gta02)
         machine_ops = &gta02_machine_ops;
-#elif defined(MACHINE_testarm)
-        machine_ops = &gxemul_machine_ops;
 #elif defined(MACHINE_integratorcp)
         machine_ops = &icp_machine_ops;
+#elif defined(MACHINE_beagleboardxm)
+        machine_ops = &bbxm_machine_ops;
 #else
 #error Machine type not defined.
@@ -131 +131 @@
 }
 
+const char * machine_get_platform_name(void)
+{
+        if (machine_ops->machine_get_platform_name)
+                return machine_ops->machine_get_platform_name();
+        return NULL;
+}
 /** @}
  */