Stephanos Ioannidis 0e6ede8929 kconfig: Rename CONFIG_FLOAT to CONFIG_FPU ... 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>		2020-04-27 19:03:44 +02:00
..
gen_offset.h
kernel_arch_interface.h	kconfig: Rename CONFIG_FLOAT to CONFIG_FPU	2020-04-27 19:03:44 +02:00
kernel_internal.h	kernel: reduce scope of z_new_thread_init()	2020-04-21 18:45:45 -04:00
kernel_offsets.h	arch/x86/intel64: Fix assumption with dummy threads	2019-10-19 12:09:32 -07:00
ksched.h	kernel/timeout: Make timeout arguments an opaque type	2020-03-31 19:40:47 -04:00
kswap.h	kernel/smp: arch/x86_64: Address race with CPU migration	2020-02-08 08:51:04 -05:00
offsets_short.h