Paul Hartman <paul.hartman+gentoo <at> gmail.com> writes:
> I have a laptop which apparently has a buggy DSDT. Hello Paul, We could fiddle around here, but your best bet is the old linux bios group; who now call themselves coreboot: http://www.coreboot.org Find (google) where those guys hang out online, and they can answer your questions very quickly, not to mention a vast array of experiences related to your issues. hth, James
