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