Paolo Minazzi wrote:
>> I've got a Athlon64 x2 with same bios problem (which it had not before last
>> bios update). I can confirm Ubuntu 7.10 did not pass booting without
>> acpi=off parameter.
>> Should this help debugging I can send more data|run some test.
>> My 2 c
> If I'm not wrong, acpi=off does not make any difference in colinux
> because PowerManagement (and so APM ans ACPI) are off.
That's right. ACPI is off for coLinux by compile time.
I got an other suggestion from Paolo (off list), that we should follow.
I have checked a running coLinux: All interrupts from IRQ0 to IRQ31 are
forwarded to the host. Perhaps your timer is abofe IRQ 31? And what says
the "vector 0x31" there?
Jonathan, please run "winmsd" from Windows command prompt, select
Hardware-Ressources and IRQ from tree left side. Than "mark all" (menu
edit) and Copy&Paste the full list of interrupts (IRQ) here. This all
please, without running coLinux.
Typicaly the Timer is on "IRQ 0". If the timer is highter as IRQ 31, we
have some ideas.