1# Copyright (c) 2016 Cadence Design Systems, Inc. 2# SPDX-License-Identifier: Apache-2.0 3 4config BOARD 5 default "xt-sim" 6 7config IPM_CONSOLE_STACK_SIZE 8 default 2048 if IPM_CONSOLE_RECEIVER 9