Make floating point work (no ancillary state yet though)
authorKevin Klues <klueska@ros-dev.(none)>
Sun, 25 Apr 2010 09:59:02 +0000 (02:59 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Thu, 3 Nov 2011 00:35:44 +0000 (17:35 -0700)
kern/arch/i686/smp_boot.c

index 0fd7919..856344f 100644 (file)
@@ -305,6 +305,7 @@ void smp_percpu_init(void)
        asm volatile ("fninit");
 
        /* core 0 sets up via the global gdt symbol */
+       asm volatile ("fninit");
        if (!coreid)
                per_cpu_info[0].gdt = gdt;
        else