Subject: Re: Debug and diagnostic options
To: Julio M. Merino Vidal <jmerino@ac.upc.edu>
From: Greg Troxel <gdt@ir.bbn.com>
List: port-xen
Date: 02/05/2008 11:33:54 
I think we should either remove the options and have a policy of having
them off, or else make config not complain about redundant
exact-matching options.  It's not like there is any real confusion about
intent if options DIAGNOSTIC is in GENERIC.local and a xen GENERIC.