Another solution is to do a callback to a userspace program like x86emu,
which can re-init the second card via BIOS. That's what XFree86 does.
Personally I would rather avoid BIOS altogether...
-- Jeff Garzik | Just once, I wish we would encounter Building 1024 | an alien menace that wasn't immune to MandrakeSoft, Inc. | bullets. -- The Brigadier, "Dr. Who"- 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.tux.org/lkml/