Changes in kernel/arch/ppc32/src/cpu/cpu.c [df7f5cea:9d58539] 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
 }
 
@@ -56 +52 @@
         
         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";
         }