How to send binary argument to binary file when simulating using verilator?

[Sanghyeon]

Hello, I'm simulating my test code on Rocket + Saturn configuration using verilator.

when I run command like below, binary file receive only one argument "chipyard".

make run-binary-debug CONFIG=RocketConfig VERILATOR_THREADS=8 -j$(nproc) BINARY=~/research/chipyard/tests/test.riscv BINARY_ARGS="prompt.txt"

Am I misunderstanding BINARY_ARGS mean?
Please let me know if someone know how to send arguments to binary.

Thank you for your help in advance.

[Jerry Zhao]

Generally, baremetal binaries do not see arguments, or have the capability to perform file IO, as these features are normally provided by a kernel environment.

-Jerry

--
You received this message because you are subscribed to the Google Groups "Chipyard" group.
To unsubscribe from this group and stop receiving emails from it, send an email to chipyard+u...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/chipyard/768a7352-414b-40ec-98ca-afac2c7b42e4n%40googlegroups.com.