sparc64 is now booted by HelenOS boot loader.
[helenos.git] / tools / 
treebbe7422babf50ef77f8def43543652b034b7fab2
drwxr-xr-x   ..
-rwxr-xr-x 15878 config.py
drwxr-xr-x - ppc32