merge Ali's config change...
[gem5.git] / configs / splash2 /
drwxr-xr-x   ..
-rw-r--r-- 10439 cluster.py
-rw-r--r-- 9731 run.py