You might venture a look into arch/alpha/kernel/bios32.c, wherein we
must take care of initializing all devices on all PCI busses.
And as for the BIOS thing, out boot loader, MILO, contains an x86
emulator that does ok for initializing most graphics cards. Certainly
I've had success with my S3. Unfortunately, we must resort to DEC's
proprietary version to get some cards, like Matrox', to work.
r~
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.rutgers.edu
Please read the FAQ at http://www.altern.org/andrebalsa/doc/lkml-faq.html