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