From mboxrd@z Thu Jan  1 00:00:00 1970
From: Pedro Santana <psantana@domain.hid>
Date: Tue, 26 Jul 2011 17:23:26 +0000 (UTC)
Message-ID: <loom.20110726T191925-775@domain.hid>
References: <2157_1308732935_4E01AE07_2157_14293_1_ECB646CBB62FD044927FDEDF0252D3E701E388AD6F15@domain.hid>
	<1308735172.2159.15.camel@domain.hid>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Subject: Re: [Xenomai-help] Xenomai 2.5.6 and 2.6.38.8 kernel
List-Id: Help regarding installation and common use of Xenomai
	<xenomai.xenomai.org>
List-Unsubscribe: <https://mail.gna.org/options/xenomai-help>,
	<mailto:xenomai-help-request@domain.hid>
List-Archive: </public/xenomai-help>
List-Post: <mailto:xenomai@xenomai.org>
List-Help: <mailto:xenomai-help-request@domain.hid>
List-Subscribe: <https://mail.gna.org/listinfo/xenomai-help>,
	<mailto:xenomai-help-request@domain.hid>
To: xenomai@xenomai.org

My Kernel config file has the NMI watchdog option disabled

Real-time sub-system->Machine->NMI Watchdog->Enable NMI watchdog (unmarked),

but I'm getting the same error during compilation. What should I do in order to
fix this? 

Thanks!