diff options
author | Patrick Georgi <patrick.georgi@secunet.com> | 2012-07-20 12:29:33 +0200 |
---|---|---|
committer | Stefan Reinauer <stefan.reinauer@coreboot.org> | 2012-07-20 23:38:51 +0200 |
commit | 5869fa2e631d5d2483a4ee0445e6496120b42f02 (patch) | |
tree | 8f52e069254f6f778194d2217908b568f1ed2a98 /util/abuild/abuild.1 | |
parent | c4b2a1b6de9671a7e6672de5fb99068d05eba269 (diff) |
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 <patrick.georgi@secunet.com>
Reviewed-on: http://review.coreboot.org/1251
Tested-by: build bot (Jenkins)
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Diffstat (limited to 'util/abuild/abuild.1')
0 files changed, 0 insertions, 0 deletions