Hau Hsu

Results 1 comments of Hau Hsu

Spike uses stderr as input in debug mode (not sure why). I modified the code in `riscv/interactive.cc` as issue #87 described. Find the line `std::string s = readline(2);` and modify...