@@ -116,8 +116,6 @@ void OS::start(uint32_t boot_magic, uint32_t boot_addr) {
116116 " EBDA" , " Extended BIOS data area" });
117117 memmap.assign_range ({0x000A0000 , 0x000FFFFF ,
118118 " VGA/ROM" , " Memory mapped video memory" });
119- // memmap.assign_range({0x00100000, (uintptr_t)&_LOAD_START_ -1 ,
120- // "Stack", "Kernel / service main stack"});
121119 memmap.assign_range ({(uintptr_t )&_LOAD_START_, (uintptr_t )&_end,
122120 " ELF" , " Your service binary including OS" });
123121
@@ -126,7 +124,7 @@ void OS::start(uint32_t boot_magic, uint32_t boot_addr) {
126124 " Pre-heap" , " Heap randomization area (not for use))" });
127125
128126 memmap.assign_range ({0x8000 , 0x9fff , " Statman" , " Statistics" });
129- memmap.assign_range ({0xA000 , 0x9fbff , " Symbols " , " ELF symbol/string sections " });
127+ memmap.assign_range ({0xA000 , 0x9fbff , " Kernel / service main stack " });
130128
131129 // Create ranges for heap and the remaining address space
132130 // @note : since the maximum size of a span is unsigned (ptrdiff_t) we may need more than one
0 commit comments