==============================================================================
$NetBSD: MESSAGE,v 1.1.1.1 2002/09/24 17:57:25 jschauma Exp $

	The PVS Specification and Verification System requires a kernel
	built with 'COMPAT_LINUX' and 'PROCFS' enabled.

==============================================================================