diff options
| author | Matteo Gmür <matteo.gmuer1@ost.ch> | 2024-10-21 09:31:58 +0000 |
|---|---|---|
| committer | Matteo Gmür <matteo.gmuer1@ost.ch> | 2024-10-21 09:31:58 +0000 |
| commit | f171efed99684bf03c315405efda34e36d7db82c (patch) | |
| tree | 9935c48f6030f4a438ebd9fd1bcf58d4d4c8a233 /arch/x86_64/src/kernel/main.cpp | |
| parent | 49ae81912f3a440f1958e86296d468ec669f71a2 (diff) | |
| download | teachos-f171efed99684bf03c315405efda34e36d7db82c.tar.xz teachos-f171efed99684bf03c315405efda34e36d7db82c.zip | |
Ensure only one instance of global page table can exist
Diffstat (limited to 'arch/x86_64/src/kernel/main.cpp')
| -rw-r--r-- | arch/x86_64/src/kernel/main.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/arch/x86_64/src/kernel/main.cpp b/arch/x86_64/src/kernel/main.cpp index 40dd117..db0a9ef 100644 --- a/arch/x86_64/src/kernel/main.cpp +++ b/arch/x86_64/src/kernel/main.cpp @@ -26,7 +26,7 @@ namespace teachos::arch::kernel { last_allocated = allocated; allocated = allocator.allocate_frame(); - } while (allocated.has_value()); + } while (allocated); video::vga::text::write("Allocated Frames", video::vga::text::common_attributes::green_on_black); video::vga::text::write_number(last_allocated.value().frame_number, video::vga::text::common_attributes::green_on_black); |