boards/microchip/mpfs_icicle/Kconfig - third_party/github/zephyrproject-rtos/zephyr - Git at Google

 # Copyright (c) 2021-2022 Microchip Technology Inc
 # SPDX-License-Identifier: Apache-2.0

 config BOARD_MPFS_ICICLE
 	select 64BIT
 	select SCHED_IPI_SUPPORTED
 	select CPU_HAS_FPU_DOUBLE_PRECISION
	# Copyright (c) 2021-2022 Microchip Technology Inc
	# SPDX-License-Identifier: Apache-2.0

	config BOARD_MPFS_ICICLE
	select 64BIT
	select SCHED_IPI_SUPPORTED
	select CPU_HAS_FPU_DOUBLE_PRECISION