diff options
author | Vladimir Serbinenko <phcoder@gmail.com> | 2013-12-20 17:47:19 +0100 |
---|---|---|
committer | Vladimir Serbinenko <phcoder@gmail.com> | 2013-12-24 14:40:49 +0100 |
commit | b32816e9a5564e3604c3829b92727b54356f4777 (patch) | |
tree | e903e61e25651a410426a08df203d193d99f6166 /src/console/Makefile.inc | |
parent | 50ecb9c11131a31bc6f0d0e0b5fcbd5aab36e5e0 (diff) |
Remove PCI_ROM_RUN option
The main purpose of option rom is to supply int* handlers.
But supplying those is outside of coreboot scope and if someone needs those
they should run SeaBIOS anyway which runs the option roms wonderfully.
Running VGA oprom is kept because they're needed to init graphics.
This patch still keeps the options to include the option roms to make them
available to SeaBIOS.
Change-Id: I646334cf88094d3bf8f527779a68a07e0b4b93ec
Signed-off-by: Vladimir Serbinenko <phcoder@gmail.com>
Reviewed-on: http://review.coreboot.org/4545
Tested-by: build bot (Jenkins)
Reviewed-by: Patrick Georgi <patrick@georgi-clan.de>
Reviewed-by: Kevin O'Connor <kevin@koconnor.net>
Diffstat (limited to 'src/console/Makefile.inc')
0 files changed, 0 insertions, 0 deletions