coreboot.c 314 B

123456789101112131415161718
  1. // SPDX-License-Identifier: GPL-2.0+
  2. /*
  3. * Copyright (C) 2018, Bin Meng <bmeng.cn@gmail.com>
  4. */
  5. #include <common.h>
  6. #include <init.h>
  7. int board_early_init_r(void)
  8. {
  9. /*
  10. * Make sure PCI bus is enumerated so that peripherals on the PCI bus
  11. * can be discovered by their drivers
  12. */
  13. pci_init();
  14. return 0;
  15. }