diff options
Diffstat (limited to 'src/device/pci_device.c')
| -rw-r--r-- | src/device/pci_device.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/device/pci_device.c b/src/device/pci_device.c index 9c47085152..7786043a6c 100644 --- a/src/device/pci_device.c +++ b/src/device/pci_device.c @@ -34,6 +34,7 @@ #include <arch/acpi.h> #include <device/pci_ops.h> #include <bootmode.h> +#include <bootsplash.h> #include <console/console.h> #include <stdlib.h> #include <stdint.h> @@ -49,6 +50,8 @@ #include <pc80/i8259.h> #include <security/vboot/vbnv.h> #include <timestamp.h> +#include <types.h> + u8 pci_moving_config8(struct device *dev, unsigned int reg) { @@ -764,9 +767,13 @@ void pci_dev_init(struct device *dev) return; run_bios(dev, (unsigned long)ram); + gfx_set_init_done(1); printk(BIOS_DEBUG, "VGA Option ROM was run\n"); timestamp_add_now(TS_OPROM_END); + + if (CONFIG(BOOTSPLASH)) + set_vesa_bootsplash(); } /** Default device operation for PCI devices */ |