/distrib/ofppc/instkernel/
../
Makefile