Index: kernel/arch/ia32/src/cpu/cpu.c
===================================================================
--- kernel/arch/ia32/src/cpu/cpu.c	(revision 36aec61ed4ea92750995d2823370a5f19b89a6b3)
+++ kernel/arch/ia32/src/cpu/cpu.c	(revision 6ddd7f8cece6bae9f7749e491a5633f4af0b4ce9)
@@ -71,10 +71,10 @@
 void fpu_disable(void)
 {
-	write_cr0(read_cr0() & ~CR0_TS);
+	write_cr0(read_cr0() | CR0_TS);
 }
 
 void fpu_enable(void)
 {
-	write_cr0(read_cr0() | CR0_TS);
+	write_cr0(read_cr0() & ~CR0_TS);
 }