Re: Fw: GENERIC and DEFAULTS

2005-11-03 Thread Ruslan Ermilov
On Thu, Nov 03, 2005 at 09:27:02AM -0500, John Nielsen wrote: > On Thursday 03 November 2005 09:03 am, Ruslan Ermilov wrote: > > On Thu, Nov 03, 2005 at 12:27:21PM +, Robert Watson wrote: > > > On Thu, 3 Nov 2005, dick hoogendijk wrote: > > > >Sure, but I think it's the *syntax* that matters he

Re: Fw: GENERIC and DEFAULTS

2005-11-03 Thread John Nielsen
On Thursday 03 November 2005 09:03 am, Ruslan Ermilov wrote: > On Thu, Nov 03, 2005 at 12:27:21PM +, Robert Watson wrote: > > On Thu, 3 Nov 2005, dick hoogendijk wrote: > > >Sure, but I think it's the *syntax* that matters here? options -> > > >nooptions / i486_cpu -> no??? It's OK to leave GEN

Re: Fw: GENERIC and DEFAULTS

2005-11-03 Thread Ruslan Ermilov
On Thu, Nov 03, 2005 at 12:27:21PM +, Robert Watson wrote: > > On Thu, 3 Nov 2005, dick hoogendijk wrote: > > >Sure, but I think it's the *syntax* that matters here? options -> > >nooptions / i486_cpu -> no??? It's OK to leave GENERIC alone, but HOW > >are things switched off? > > It appea

Re: Fw: GENERIC and DEFAULTS

2005-11-03 Thread Philippe PEGON
dick hoogendijk wrote: On Wed, 02 Nov 2005 23:27:15 +0100 Philippe PEGON <[EMAIL PROTECTED]> wrote: Ken Menzel wrote: options INVARIANT_SUPPORT nooptions WITNESS nooptions WITNESS_SKIP_SPIN If I include GENERIC can I comment out the following? #cpuI486_CPU #cpu

Re: Fw: GENERIC and DEFAULTS

2005-11-03 Thread Robert Watson
On Thu, 3 Nov 2005, dick hoogendijk wrote: Sure, but I think it's the *syntax* that matters here? options -> nooptions / i486_cpu -> no??? It's OK to leave GENERIC alone, but HOW are things switched off? It appears to be an ommission in the file format. I've e-mailed Ruslan, who implemente

Re: Fw: GENERIC and DEFAULTS

2005-11-03 Thread dick hoogendijk
On Wed, 02 Nov 2005 23:27:15 +0100 Philippe PEGON <[EMAIL PROTECTED]> wrote: > Ken Menzel wrote: > >> options INVARIANT_SUPPORT > >> > >> nooptions WITNESS > >> nooptions WITNESS_SKIP_SPIN > > > > > > If I include GENERIC can I comment out the following? > > #cpuI486_CPU > > #

Re: Fw: GENERIC and DEFAULTS

2005-11-02 Thread Philippe PEGON
Ken Menzel wrote: options INVARIANT_SUPPORT nooptions WITNESS nooptions WITNESS_SKIP_SPIN If I include GENERIC can I comment out the following? #cpuI486_CPU #cpuI586_CPU Does this make any difference? I have always done this out of habit. would it become in

Re: Fw: GENERIC and DEFAULTS

2005-11-02 Thread David Wolfskill
On Wed, Nov 02, 2005 at 04:39:30PM -0500, Ken Menzel wrote: > ... > If I include GENERIC can I comment out the following? > #cpuI486_CPU > #cpuI586_CPU Well, it's your (copy of) the file; I suppose you can do whatever you want to with it. :-) > Does this make any differ