/distrib/mipsco/instkernel/
../
Makefile
list