# Copyright (c) 2020 Olof Kindgren <olof.kindgren@gmail.com>
# SPDX-License-Identifier: Apache-2.0

config SOC_RISCV32_SERVANT
	bool "servant SoC"

config SOC
	default "servant" if SOC_RISCV32_SERVANT
