Merge changes to benchmarking tool (PR #151)
[helenos.git] / defaults / ia64 / 
tree5e1bf276c05bcf877fa7120ecd2567fdd086ab5c
drwxr-xr-x   ..
-rw-r--r-- 814 Makefile.config
drwxr-xr-x - i460GX
-rw-r--r-- 10 output
drwxr-xr-x - ski