sommerfeld 3406f0a3dd The "gif*" tunnelling interface does everything ipip does. ... Move usage example from ipip.4 to gif.4 Excise ipip and stitch up the scars.		2002-03-04 13:24:06 +00:00
..
cats	Implement pmap_growkernel for arm32 based ports.	2002-03-03 11:22:58 +00:00
compile	…
conf	The "gif*" tunnelling interface does everything ipip does.	2002-03-04 13:24:06 +00:00
include	Implement pmap_growkernel for arm32 based ports.	2002-03-03 11:22:58 +00:00
isa	Don't "extern int cold;" - this is in <sys/kernel.h>.	2002-03-04 02:19:07 +00:00
pci	Move the arm32/pci files into the cats dir. AFAIK these files are only used by cats.	2002-02-09 12:14:01 +00:00
Makefile	Add cats specific makefile for tags and includes.	2001-06-12 08:32:46 +00:00