1# Copyright (c) 2019 Stephanos Ioannidis <root@stephanos.io>
2# SPDX-License-Identifier: Apache-2.0
3
4config SOC_XILINX_ZYNQMP
5	bool
6