text: // SPDX-License-Identifier: GPL-2.0+
  /*
   * Copyright (C) 2018, Bin Meng <bmeng.cn@gmail.com>
   */
  
  #include <common.h>
  #include <init.h>
  
  int board_early_init_r(void)
  {
  	/*
  	 * Make sure PCI bus is enumerated so that peripherals on the PCI bus
  	 * can be discovered by their drivers
  	 */
  	pci_init();
  
  	return 0;
  }
  