From 5658cd64516e3428ec1f47d32e4bd55b24b3477d Mon Sep 17 00:00:00 2001 From: des Date: Fri, 20 Oct 2006 08:56:26 +0000 Subject: The VGA_DEBUG option only exists on {amd64,i386,ia64}. Also remove 'device io' from amd64 NOTES; DEFAULTS takes care of it. --- sys/ia64/conf/NOTES | 3 +++ 1 file changed, 3 insertions(+) (limited to 'sys/ia64/conf') diff --git a/sys/ia64/conf/NOTES b/sys/ia64/conf/NOTES index 8a4b8e1..9f861d1 100644 --- a/sys/ia64/conf/NOTES +++ b/sys/ia64/conf/NOTES @@ -49,3 +49,6 @@ device pci # The following devices are not supported. nodevice fdc nooption FDC_DEBUG + +# Yet more undocumented options for linting. +options VGA_DEBUG -- cgit v1.1