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
..
ia32	kconfig: Rename CONFIG_FLOAT to CONFIG_FPU	2020-04-27 19:03:44 +02:00
intel64	kernel: centralize new thread priority check	2020-04-21 18:45:45 -04:00
offsets
acpi.c
CMakeLists.txt
common.S
cpuhalt.c
early_serial.c
fatal.c	kernel: add Z_STACK_PTR_ALIGN ARCH_STACK_PTR_ALIGN	2020-04-21 18:45:45 -04:00
ia32.cmake
intel64.cmake
Kconfig.ia32	kconfig: Rename CONFIG_FLOAT to CONFIG_FPU	2020-04-27 19:03:44 +02:00
Kconfig.intel64
memmap.c
multiboot.c
pcie.c
prep_c.c
reboot_rst_cnt.c
spec_ctrl.c
userspace.c	kernel: add Z_STACK_PTR_ALIGN ARCH_STACK_PTR_ALIGN	2020-04-21 18:45:45 -04:00
x86_mmu.c