Ack. After thinking about it a bit, I think a minor rename of the riscv version is the right approach for right now.
Gabe
_______________________________________________ gem5-dev mailing list -- [email protected] To unsubscribe send an email to [email protected] %(web_page_url)slistinfo%(cgiext)s/%(_internal_name)s
