/sys/arch/sgi/conf/

• ../
• GENERIC-IP27
• GENERIC-IP30
• GENERIC-IP32
• Makefile.sgi
• RAMDISK-IP27
• RAMDISK-IP30
• RAMDISK-IP32
• files.sgi
• ld.script