xref: /optee_os/core/arch/riscv/plat-spike/kern.ld.S (revision 9f79f036655daeb6dbd09c62ba4dc8ed1d76bf12) 
1/* SPDX-License-Identifier: (BSD-2-Clause) */
2/*
3 * Copyright 2022 NXP
4 */
5
6#include "../kernel/kern.ld.S"
7
8SECTIONS
9{
10	.htif HTIF_BASE:
11	{
12		tohost = .;
13		fromhost = tohost + 8;
14	}
15
16}
17