frobinso@cirm.northrop.com (Fletcher Robinson) (09/23/89)
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.