2000/3000 series reconfigurable kernel

[Fletcher Robinson]

Has anyone obtained and made use of the SPECIAL RECONFIGURABLE KERNEL
OPTION for the SGI 2400T/3130 series machines. I just received a tape
and no documentation. It is not put together like the sysgen stuff on
the 4D's. I need information on including my own device drivers; and
I need to 'tune' a parameter similar to the SHMSEG in the file /usr/
sysgen/master.d/shm on the 4D to allow more shared memory for IPC. I
have not been able to locate it, and I do not know how to put the new
kernel together.