src/sys/arch/sgi/sgi
