diff options
| author | Xander <xander@biltopia.org> | 2023-07-28 22:30:45 +0200 |
|---|---|---|
| committer | Xander <xander@biltopia.org> | 2023-07-28 22:30:45 +0200 |
| commit | 272a40095e7c3f694f010d074ab54b326730009e (patch) | |
| tree | 79d186dc52267a710c25b87e33fec8380d2ac83c /kernel/bootinfo/multiboot.sats | |
| parent | b78762c92afee705e618f29f89897db8b45df3dd (diff) | |
| download | ats-os-272a40095e7c3f694f010d074ab54b326730009e.tar.xz ats-os-272a40095e7c3f694f010d074ab54b326730009e.zip | |
Some work
Diffstat (limited to 'kernel/bootinfo/multiboot.sats')
| -rw-r--r-- | kernel/bootinfo/multiboot.sats | 2 |
1 files changed, 1 insertions, 1 deletions
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 } |