/*
 * Copyright (c) 2016 Google, Inc
 *
 * SPDX-License-Identifier:      GPL-2.0+
 */

OUTPUT_FORMAT("elf32-i386", "elf32-i386", "elf32-i386")
OUTPUT_ARCH(i386)
ENTRY(_start)

SECTIONS
{
	. = 0xfffffdf0;
	_start = .;
	.ucode : {
		*(.ucode)
	}
}