src/sys/arch/sgi
