mirror of
https://github.com/olofk/serv.git
synced 2026-01-13 07:09:33 +00:00
15 lines
279 B
INI
15 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
|