Changes in kernel/arch/ppc32/src/cpu/cpu.c [9d58539:df7f5cea] in mainline

File:

• kernel/arch/ppc32/src/cpu/cpu.c (modified) (2 diffs)

kernel/arch/ppc32/src/cpu/cpu.c

@@ -37 +37 @@
 #include <arch.h>
 #include <print.h>
+#include <fpu_context.h>
 
 void cpu_arch_init(void)
 {
+#ifdef CONFIG_FPU
+        fpu_enable();
+#endif
 }
 
@@ -52 +56 @@
         
         switch (cpu->arch.version) {
-                case 8:
-                        name = "PowerPC 750";
-                        break;
-                case 9:
-                        name = "PowerPC 604e";
-                        break;
-                case 0x81:
-                        name = "PowerPC 8260";
-                        break;
-                case 0x8081:
-                        name = "PowerPC 826xA";
-                        break;
-                default:
-                        name = "unknown";
+        case 8:
+                name = "PowerPC 750";
+                break;
+        case 9:
+                name = "PowerPC 604e";
+                break;
+        case 0x81:
+                name = "PowerPC 8260";
+                break;
+        case 0x8081:
+                name = "PowerPC 826xA";
+                break;
+        default:
+                name = "unknown";
         }