1/* 2 * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) 3 * 4 * SPDX-License-Identifier: GPL-2.0-only 5 */ 6 7#pragma once 8 9#include <types.h> 10#include <mode/kernel/elf.h> 11 12/* minimal ELF functionality for loading GRUB boot module */ 13bool_t elf_checkFile(Elf_Header_t *elfFile); 14v_region_t elf_getMemoryBounds(Elf_Header_t *elfFile); 15void elf_load(Elf_Header_t *elfFile, seL4_Word offset); 16 17