Implemented panic

1 files changed, 7 insertions, 7 deletions

diff --git a/kernel/bootinfo/multiboot.sats b/kernel/bootinfo/multiboot.sats
index 6be1e73..9a41f29 100644
--- a/kernel/bootinfo/multiboot.sats
+++ b/kernel/bootinfo/multiboot.sats
@@ -54,14 +54,14 @@ macdef invalid_area = @{
 
 fun init(p : Ptr1) :void
 
-fn get_memory_mappings_n () : [n:nat] size_t n
+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_header  (n : size_t) : elf64_shdr_t *)
-(* fn print_elf_headers () : void *)
-(**)
-(* fn get_kernel_ranges () : (Ptr,Ptr) // (kernel start, kernel end) *)
-(* fn get_multiboot_ranges () : (Ptr0,Ptr0) // (bootinfo start, bootinfo end) *)
+fn get_elf_headers_n () : [n:nat] size_t n
+fn get_elf_header  (n : size_t) : elf64_shdr_t
+fn print_elf_headers () : void
+
+fn get_kernel_ranges () : (Ptr,Ptr) // (kernel start, kernel end)
+fn get_multiboot_ranges () : (Ptr0,Ptr0) // (bootinfo start, bootinfo end)