AW: [ros-kernel]Fw: Boot problem with CVS changes from friday/saturday.

[Hartmut B. <har...@te...>]

I get the some crash at bochs and on real hardware withe adifferent error 
message. The problem comes from the changes in ntoskrnl/ke/i386/irq.c, 
ntoskrnl\ps\idle.c and hal\halx86\irql.c.

- Hartmut