text: /*
   * (C) Copyright 2016 Rockchip Electronics Co., Ltd
   *
   * SPDX-License-Identifier:     GPL-2.0+
   */
  
  #include <common.h>
  #include <spl.h>
  
  void board_boot_order(u32 *spl_boot_list)
  {
  	/* eMMC prior to sdcard. */
  	spl_boot_list[0] = BOOT_DEVICE_MMC2;
  	spl_boot_list[1] = BOOT_DEVICE_MMC1;
  }
  