Hi Marc,
Here is the code I use:
void vPortEnableVFP(void) {
/* The FPU enable bits are in the CPACR. */
__asm volatile (
" ldr.w r0, =0xE000ED88 \n" /* CAPCR, 0xE000ED88 */
" ldr r1, [r0] \n" /* read CAPR */
" orr r1, r1, #(0xf<<20) \n" /* Enable CP10 and CP11 coprocessors */
" str r1,[r0] \n" /* store to new value back */
: /* no output */
: /* no input */
: "r0","r1" /* clobber */
);
}
Call that in main() e.g. after PE_low_level_init(), just before you are using any floating point.
you might call this in your startup code too.
I hope this helps,
Erich