original_kernel/drivers/misc/sgi-xp
..
Makefile
xp.h
xp_main.c
xp_nofault.S
xpc.h
xpc_channel.c
xpc_main.c
xpc_partition.c
xpnet.c