0e6ede8929
This commit renames the Kconfig `FLOAT` symbol to `FPU`, since this symbol only indicates that the hardware Floating Point Unit (FPU) is used and does not imply and/or indicate the general availability of toolchain-level floating point support (i.e. this symbol is not selected when building for an FPU-less platform that supports floating point operations through the toolchain-provided software floating point library). Moreover, given that the symbol that indicates the availability of FPU is named `CPU_HAS_FPU`, it only makes sense to use "FPU" in the name of the symbol that enables the FPU. Signed-off-by: Stephanos Ioannidis <root@stephanos.io>
19 lines
371 B
Plaintext
19 lines
371 B
Plaintext
CONFIG_TEST=y
|
|
# all printf, fprintf to stdout go to console
|
|
CONFIG_STDOUT_CONSOLE=y
|
|
CONFIG_MAIN_THREAD_PRIORITY=6
|
|
|
|
CONFIG_FPU=y
|
|
CONFIG_SSE=y
|
|
CONFIG_FP_SHARING=y
|
|
CONFIG_SSE_FP_MATH=y
|
|
|
|
# eliminate timer interrupts during the benchmark
|
|
CONFIG_SYS_CLOCK_TICKS_PER_SEC=1
|
|
CONFIG_TICKLESS_KERNEL=n
|
|
|
|
CONFIG_FORCE_NO_ASSERT=y
|
|
|
|
#Disable Userspace
|
|
CONFIG_TEST_HW_STACK_PROTECTION=n
|