jdolecek 6d265bd894 add options PIPE_SOCKETPAIR to individual kernel configs ... the option is commented out on everything but kernels I was able to recognize as INSTALL-like or ones for small memory machines		2002-01-27 13:23:08 +00:00
..
Makefile.walnut.inc	…
WALNUT	add options PIPE_SOCKETPAIR to individual kernel configs	2002-01-27 13:23:08 +00:00
files.walnut	…
std.walnut	…