mirror of
https://github.com/olofk/serv.git
synced 2025-04-23 13:27:05 -04:00
14 lines
279 B
INI
14 lines
279 B
INI
[RISCOF]
|
|
ReferencePlugin=sail_cSim
|
|
ReferencePluginPath=./plugin-sail_cSim
|
|
DUTPlugin=serv
|
|
DUTPluginPath=./plugin-serv
|
|
|
|
[serv]
|
|
pluginpath=./plugin-serv
|
|
ispec=./plugin-serv/serv_isa.yaml
|
|
pspec=./plugin-serv/serv_platform.yaml
|
|
target_run=1
|
|
|
|
[sail_cSim]
|
|
pluginpath=./plugin-sail_cSim
|