xref: /optee_os/core/arch/riscv/plat-spike/kern.ld.S (revision 62e40b88ef3b3e8cb27d05b9631e524d0b8eb9df)
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