1/* SPDX-License-Identifier: GPL-2.0+ */
2/*
3 * Copyright (c) 2016 Google, Inc
4 */
5
6OUTPUT_FORMAT("elf32-i386", "elf32-i386", "elf32-i386")
7OUTPUT_ARCH(i386)
8ENTRY(_start)
9
10SECTIONS
11{
12	. = 0xfffffdf0;
13	_start = .;
14	.ucode : {
15		*(.ucode)
16	}
17}
18