Re: [Xenomai-help] Xenomai LTTng support

[Vikesh Rambaran <vikesh.rambaran@domain.hid>]

On Tue, 2009-04-14 at 11:16 +0200, Jan Kiszka wrote:
> Vikesh Rambaran wrote:
> > Hi
> > Hope everybody had a good Easter weekend :)
> 
> Yeah, sunny and relaxing, just a little bit hacking. 8)
> 

Great, R&R always helps !

> NMI watchdog, see Xenomai machine kconfig menu, use nmi_watchdog=2 to
> finally enable it at the kernel command line.
> 

There are build issues with NMI enabled.

Would you prefer testing with the latest git updates, or can i just 
replace the following in hal32.c (line 139)

- die_nmi(regs, buf); 
+ die_nmi(buf, regs, 1);

Thanx for the help thus far
Vicki