1/*
2 * Copyright 2019, Data61, CSIRO (ABN 41 687 119 230)
3 *
4 * SPDX-License-Identifier: BSD-2-Clause
5 */
6
7#pragma once
8
9struct guest_kernel_image_arch {
10    /* Enable kernel image relocation */
11    bool is_reloc_enabled;
12    /* Guest image relocation file */
13    const char *relocs_file;
14    /* Entry point for when the VM starts */
15    uintptr_t entry;
16    /* If we are loading a guest elf then we may not have been able to put it where it
17     * requested. This is the relocation offset */
18    int relocation_offset;
19    /* Base physical address the image was linked for */
20    uintptr_t link_paddr;
21    uintptr_t link_vaddr;
22};
23