model.lds.S

/*
 * model.lds.S - simple linker script for stand-alone Linux booting
 *
 * Copyright (C) 2012 ARM Limited. All rights reserved.
 *
 * 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(./boot.o)
#ifdef XEN
INPUT(XEN)
#endif
INPUT(./cache.o)
INPUT(./GIC)
INPUT(./mmu.o)
INPUT(./ns.o)
INPUT(./BOOTMETHOD)
INPUT(KERNEL)
INPUT(./fdt.dtb)

#ifdef USE_INITRD
INPUT(FILESYSTEM)
#endif

SECTIONS
{
	. = PHYS_OFFSET;
	.text : { boot.o }
	.text : { cache.o }
	.text : { GIC }
	.text : { mmu.o }
	.text : { ns.o }
	.text : { BOOTMETHOD }
	. = PHYS_OFFSET + MBOX_OFFSET;
	mbox = .;
	.mbox : { QUAD(0x0) }

	. = PHYS_OFFSET + KERNEL_OFFSET;
	kernel = .;
	.kernel : { KERNEL }

#ifdef XEN
	. = PHYS_OFFSET + XEN_OFFSET;
	xen = .;
	.xen : { XEN }
	entrypoint = xen;
#else
	entrypoint = kernel;
#endif

	. = PHYS_OFFSET + FDT_OFFSET;
	dtb = .;
	.dtb : { ./fdt.dtb }
#ifdef USE_INITRD
	. = PHYS_OFFSET + FS_OFFSET;
	filesystem = .;
	.filesystem : { FILESYSTEM }
	fs_size = . - filesystem;
#endif

	.data : { *(.data) }
	.bss : { *(.bss) }
}