I tried the OS/4 kernel on my laptop for the first time today, and while it boots, I get a repeating desktop startup sound, and no devices with IRQ's above 15 work (sound, network, USB). It is the same with or without the /APIC switch. Has anyone run into this before? One thing unusual about this laptop - when using the Netlabs ACPI.PSD, the hardware manager shows ACPI on IRQ 10. Everything else I have seen uses IRQ 9. Maybe related to the issue? I'll attach the kernlog file.