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

config BOARD_BEAGLEV_FIRE
	select 64BIT
	select SCHED_IPI_SUPPORTED
	select CPU_HAS_FPU_DOUBLE_PRECISION
