> Thanks to everyone for all the effort.
>
> BTW, the wiki page lists the development repo as "m5-dev" thought in
> reality it's just "m5" (as always).  Which name should we stick with?

I vote m5.
_______________________________________________
m5-dev mailing list
[email protected]
http://m5sim.org/mailman/listinfo/m5-dev

Reply via email to