Index: kernel/arch/ppc32/src/cpu/cpu.c
===================================================================
--- kernel/arch/ppc32/src/cpu/cpu.c	(revision 7e752b2a0d66c871748e5fa9e8bbe3a27c70a202)
+++ kernel/arch/ppc32/src/cpu/cpu.c	(revision b8fac76dfe5c0b164242ffb27f4a79965e1351e7)
@@ -37,7 +37,11 @@
 #include <arch.h>
 #include <print.h>
+#include <fpu_context.h>
 
 void cpu_arch_init(void)
 {
+#ifdef CONFIG_FPU
+	fpu_enable();
+#endif
 }
 
@@ -52,18 +56,18 @@
 	
 	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";
 	}