move ping_linux.ini into linux-kernel-tsunami dir
[gem5.git] / arch /
drwxr-xr-x   ..
drwxr-xr-x - alpha
-rwxr-xr-x 58907 isa_parser.py