f9micro / f9-kernel

An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
Other
683 stars 145 forks source link

Fix: misconfig FPU in sys_clock_init #141

Closed louisom closed 7 years ago

louisom commented 7 years ago

When testing stm32f429i on qemu-gnueclipse, it bump out "qemu-system-gnuarmeclipse: Attempt to set CP10/11 in SCB->CPACR, but FP is not supported yet."

Found in sys_clock_init only check STM32F4X, then enable FPU and floating point state preservation.

Adding CONFIG_FPU to prevent misconfig of FPU.

sistemasembebidos commented 4 years ago

Hi everyone! I have experimented such error emulating a discovery board based on a M4F with QEMU (version win64-2.7.0-201611282115). Could you help me about where "adding CONFIG_FPU to prevent misconfig of FPU."?

Thanks in advance,

Eduardo

jserv commented 4 years ago

Eduardo, can you re-configure F9 microkernel with FPU enable? Did you encounter any building issues?

sistemasembebidos commented 4 years ago

Hi Jim, I missed comment you that I using QEMU as a Eclipse plugin on STM32CubeIDE for educational purposes. By searching in the web, the (almost) only reference regarding FPU error on QEMU I found was your thread. I haven´t work with F9 Microkernel. I have all my projects based in those tools, and at present because of pandemy issues Im´trying to run some projects in a virtual way using QEMU.

Regards,

Eduardo

m-salman-afzal commented 4 years ago

Hi Jim, I missed comment you that I using QEMU as a Eclipse plugin on STM32CubeIDE for educational purposes. By searching in the web, the (almost) only reference regarding FPU error on QEMU I found was your thread. I haven´t work with F9 Microkernel. I have all my projects based in those tools, and at present because of pandemy issues Im´trying to run some projects in a virtual way using QEMU.

Regards,

Eduardo

Fast forward 3 years!!! Did you find anything on how to remove this error? I'll appreciate it. Thanks.