boards/x86/up_squared/Kconfig.defconfig

# SPDX-License-Identifier: Apache-2.0

if BOARD_UP_SQUARED

config BOARD
	default "up_squared"

config BUILD_OUTPUT_STRIPPED
	default y

config APIC_TIMER
	default y if !HPET_TIMER

endif # BOARD_UP_SQUARED