boards/x86/gpmrb/Kconfig.defconfig

# Copyright (c) 2019 Intel Corporation
# SPDX-License-Identifier: Apache-2.0

if BOARD_GPMRB

config MULTIBOOT
	default n

config BOARD
	default "gpmrb"

config BUILD_OUTPUT_STRIPPED
	default y

endif # BOARD_GPMRB