Sign in
pigweed
/
third_party
/
github
/
zephyrproject-rtos
/
zephyr
/
b06602c3f3027ec5965bc4b61cba39fa2a077a91
/
.
/
boards
/
microchip
/
mpfs_icicle
/
Kconfig
blob: bbacc84d304f362734edfe9d6c5f25783ef94cd9 [
file
] [
log
] [
blame
]
# 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