aboutsummaryrefslogtreecommitdiff
path: root/kernel/bootinfo/multiboot.sats
diff options
context:
space:
mode:
authorXander <xander@biltopia.org>2023-08-08 22:17:40 +0200
committerXander <xander@biltopia.org>2023-08-08 22:17:40 +0200
commit245f24890cd78304cf0fd397dda8e72b0a7fbe6b (patch)
tree7210e4d4489b7281fb9213745b4776846402103b /kernel/bootinfo/multiboot.sats
parentcef3f6bdddfe768e7a1a84edcec76c11c1634941 (diff)
downloadats-os-245f24890cd78304cf0fd397dda8e72b0a7fbe6b.tar.xz
ats-os-245f24890cd78304cf0fd397dda8e72b0a7fbe6b.zip
more refactoring and implemented exec_init
Diffstat (limited to 'kernel/bootinfo/multiboot.sats')
-rw-r--r--kernel/bootinfo/multiboot.sats3
1 files changed, 2 insertions, 1 deletions
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