1/* SPDX-License-Identifier: GPL-2.0+ */ 2/* 3 * (C) Copyright 2012 4 * Texas Instruments, <www.ti.com> 5 */ 6#ifndef _ASM_SPL_H_ 7#define _ASM_SPL_H_ 8 9#define BOOT_DEVICE_NOR 1 10 11#endif 12