From 245f24890cd78304cf0fd397dda8e72b0a7fbe6b Mon Sep 17 00:00:00 2001 From: Xander Date: Tue, 8 Aug 2023 22:17:40 +0200 Subject: more refactoring and implemented exec_init --- kernel/bootinfo/multiboot.sats | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'kernel/bootinfo/multiboot.sats') diff --git a/kernel/bootinfo/multiboot.sats b/kernel/bootinfo/multiboot.sats index 9a41f29..16be379 100644 --- a/kernel/bootinfo/multiboot.sats +++ b/kernel/bootinfo/multiboot.sats @@ -40,6 +40,7 @@ typedef elf64_shdr_t = @{ } typedef boot_info_t = @{ + address = Ptr1, total_size = [n : int | n > 0] uint n, // total size of boot information memory_map = memory_areas_t, elf_tag = elf_tag_t @@ -58,7 +59,7 @@ fn get_memory_mappings_n () : size_t fn get_memory_mapping (n : size_t) : memory_area_t fn print_memory_mappings () : void // Print all available memory area's -fn get_elf_headers_n () : [n:nat] size_t n +fn get_elf_headers_n () : size_t fn get_elf_header (n : size_t) : elf64_shdr_t fn print_elf_headers () : void -- cgit v1.2.3