From 272a40095e7c3f694f010d074ab54b326730009e Mon Sep 17 00:00:00 2001
From: Xander <xander@biltopia.org>
Date: Fri, 28 Jul 2023 22:30:45 +0200
Subject: Some work

---
 kernel/bootinfo/multiboot.sats | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/bootinfo/multiboot.sats')

diff --git a/kernel/bootinfo/multiboot.sats b/kernel/bootinfo/multiboot.sats
index cab885a..6be1e73 100644
--- a/kernel/bootinfo/multiboot.sats
+++ b/kernel/bootinfo/multiboot.sats
@@ -40,7 +40,7 @@ typedef elf64_shdr_t = @{
 }
 
 typedef boot_info_t = @{
-  total_size = uint,    // total size of boot information 
+  total_size = [n : int | n > 0] uint n,    // total size of boot information 
   memory_map = memory_areas_t,
   elf_tag = elf_tag_t
 }
-- 
cgit v1.2.3