请问spike是在什么位置读入riscv可执行文件的？

[dshm]

比如spike pk helloworld，程序执行时是在哪里读入riscv可执行文件helloworld的呢？读完代码后发现htif_t::start()只读取了pk对应的二进制文件，helloworld没有找到哪里读取，htargs中存了pk和helloworld的绝对路径，请问您有发现riscv可执行文件是在代码中读取位置吗？