Bizarre bug...

[Sascha Wildner]

Matthew Dillon wrote:

    The system timebase is based on 8254 Timer 2.  It's set to a
    full 65536 repeating cycle.  My guess is that the BIOS call
    used to set the graphics mode is screwing up Timer 2 somehow.
    You could try adding a call to timer_restore() to your kernel.
    This isn't really a fix, but it might narrow the issue down a
    bit.  Try it and lets see what happens.
It worked!

Regards,
Sascha
--
http://yoyodyne.ath.cx