From 54435375f29152ddbce1cd362a137280450eba94 Mon Sep 17 00:00:00 2001 From: Xander Date: Thu, 27 Jul 2023 00:46:53 +0200 Subject: migrated frame_allocator to opt. side effects constrains not implemented yet --- kernel/bootinfo/multiboot.dats | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'kernel/bootinfo/multiboot.dats') diff --git a/kernel/bootinfo/multiboot.dats b/kernel/bootinfo/multiboot.dats index 4df903e..9eee595 100644 --- a/kernel/bootinfo/multiboot.dats +++ b/kernel/bootinfo/multiboot.dats @@ -45,7 +45,7 @@ end end -extern castfn ui2sz (n : uint) : [n : nat] size_t n +extern castfn ui2sz (n : uint) :<> [n : nat] size_t n //------------Memory------------------------ @@ -59,7 +59,7 @@ end // TODO: here use optional datatype (fix runtime alloc) implement get_memory_mapping(pf | p,n) = ( - assertloc(n < get_memory_mappings_n(pf | p)); + (* assertloc(n < get_memory_mappings_n(pf | p)); *) $UN.ptr0_get(ptr_add(p->memory_map.entries,n)) ) -- cgit v1.2.3