# Copyright (c) 2018 - 2019 Antmicro # SPDX-License-Identifier: Apache-2.0 config SOC_LITEX_VEXRISCV bool help LiteX VexRiscv system implementation config SOC default "litex_vexriscv" if SOC_LITEX_VEXRISCV