the following patch was just integrated into master:
commit ce2a44e3cbb5766261da8f1893b64e030edd0070
Author: Patrick Georgi <[email protected]>
Date: Fri Jul 20 12:29:33 2012 +0200
Allow shutting down internal graphics if plugin graphics are preferred
VGA is this part-legacy thing that can cause trouble...
For this, introduce device_t->disable(dev) method, in which a driver
can take care to deregister the device if necessary.
Change-Id: I3fecec07f402e530458b79eda30b2c274101fefa
Signed-off-by: Patrick Georgi <[email protected]>
Build-Tested: build bot (Jenkins) at Fri Jul 20 14:57:34 2012, giving +1
Reviewed-By: Stefan Reinauer <[email protected]> at Fri Jul 20
23:38:50 2012, giving +2
See http://review.coreboot.org/1251 for details.
-gerrit
--
coreboot mailing list: [email protected]
http://www.coreboot.org/mailman/listinfo/coreboot