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
..
compile
conf	add options PIPE_SOCKETPAIR to individual kernel configs	2002-01-27 13:23:08 +00:00
dev	Use the Walnut FPGA register offsets instead if the i8042 offsets for	2001-10-29 01:42:11 +00:00
include	MAXSLP is defined to be a machine-independent scheduling parameter,	2001-11-15 18:06:11 +00:00
pci	Overhaul the interrupt system to use hardware interrupts directly.	2001-11-08 23:28:13 +00:00
walnut	Added clockctl	2002-01-12 14:52:40 +00:00
Makefile