| /* | |
| * Copyright 2014 Freescale Semiconductor, Inc. | |
| * | |
| * SPDX-License-Identifier: GPL-2.0+ | |
| */ | |
| #include <common.h> | |
| #include <spl.h> | |
| u32 spl_boot_device(void) | |
| { | |
| #ifdef CONFIG_SPL_MMC_SUPPORT | |
| return BOOT_DEVICE_MMC1; | |
| #endif | |
| return BOOT_DEVICE_NAND; | |
| } | |
| u32 spl_boot_mode(void) | |
| { | |
| switch (spl_boot_device()) { | |
| case BOOT_DEVICE_MMC1: | |
| #ifdef CONFIG_SPL_FAT_SUPPORT | |
| return MMCSD_MODE_FAT; | |
| #else | |
| return MMCSD_MODE_RAW; | |
| #endif | |
| case BOOT_DEVICE_NAND: | |
| return 0; | |
| default: | |
| puts("spl: error: unsupported device\n"); | |
| hang(); | |
| } | |
| } |