Changeset eff1f033 in mainline for kernel/arch/arm32/src

Timestamp:

2010-12-21T22:23:03Z (15 years ago)

Author:

Jiri Svoboda <jiri@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

5f0123b

Parents:

78ffb70

Message:

Match platform driver based on platform name instead of architecture name. Obtain platform name from kernel via sysinfo.

Location:

kernel/arch/arm32/src/mach

Files:

• gta02/gta02.c (modified) (3 diffs)
• integratorcp/integratorcp.c (modified) (2 diffs)
• testarm/testarm.c (modified) (2 diffs)

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

@@ -71 +71 @@
 static void gta02_input_init(void);
 static size_t gta02_get_irq_count(void);
+static const char *gta02_get_platform_name(void);
 
 static void gta02_timer_irq_init(void);
@@ -92 +93 @@
         gta02_output_init,
         gta02_input_init,
-        gta02_get_irq_count
+        gta02_get_irq_count,
+        gta02_get_platform_name
 };
 
@@ -235 +237 @@
 }
 
+const char *gta02_get_platform_name(void)
+{
+        return "gta02";
+}
+
 static void gta02_timer_irq_init(void)
 {

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

@@ -65 +65 @@
         icp_output_init,
         icp_input_init,
-        icp_get_irq_count
+        icp_get_irq_count,
+        icp_get_platform_name
 };
 
@@ -342 +343 @@
 }
 
+const char *icp_get_platform_name(void)
+{
+        return "integratorcp";
+}
+
 /** @}
  */

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.
  *