/*
 * tiubootspl_linux.lds - simple linker file for stand-alone Linux kernel booting
 *
 * Copyright (C) 2020 Texas Instruments Incorporated - http://www.ti.com/
 *
 * Use of this source code is governed by a BSD-style license that can be
 * found in the LICENSE.txt file.
 */
OUTPUT_FORMAT("elf64-littleaarch64")
OUTPUT_ARCH(aarch64)
TARGET(binary)
INPUT(u-boot-spl.bin)
SECTIONS
{
 . = 0x0000000080080000;
 spl = .;
 .spl : { u-boot-spl.bin }
}