/tools/
drwxr-xr-x [up]
-rw-r--r-- 2010-10-29 10:23 +0100 132908 buildrom.pm
-rw-r--r-- 2010-10-29 10:23 +0100 2327 bulk_marking.pl
-rw-r--r-- 2010-10-29 10:23 +0100 15438 filter_obyfile.pl
-rw-r--r-- 2010-10-29 10:23 +0100 3127 packages_in_rom.pl
-rw-r--r-- 2010-10-29 10:23 +0100 2162 repair_obyfile.pl
-rw-r--r-- 2010-10-29 10:23 +0100 8019 static_dependencies.pl
-rw-r--r-- 2010-10-29 10:23 +0100 3237 summarise_kerneltrace.pl