1 /* 2 * Copyright 2014 Freescale Semiconductor, Inc. 3 * 4 * SPDX-License-Identifier: GPL-2.0+ 5 */ 6 7 #include <common.h> 8 #include <spl.h> 9 10 u32 spl_boot_device(void) 11 { 12 #ifdef CONFIG_SPL_MMC_SUPPORT 13 return BOOT_DEVICE_MMC1; 14 #endif 15 return BOOT_DEVICE_NAND; 16 } 17