Forum Post: rtos tiva BIOS clear FPU registers

Hey,
Bios 6.4 TiRTOS 2.02.36 CCS6

1. Main: 

    // ....Set FPU     FPULazyStackingEnable();     FPUEnable();      /* *** *** START BIOSU  *** *** */      //System_printf("exit main()\n");     //Breakpoint One     BIOS_start();    /* does not return */     return(0); }

2. FPCC = 0xC0000000

3. The problem is that after BIOS start, FPCC=0x0000000 .And FPU does not work properly - sometimes are calculating errors.

4. When i add lines AFTER BIOS started:
FPUEnable();
FPULazyStackingEnable();

FPU works properly and calculations are good.

So question: Is is normal that BIOS clear fpu config? Can i call FPULazyStackingEnable() after bios started?