Merge branch 'feat_memory_manager' of ssh://gitlab.ost.ch:45022/teachos/kernel into feat_memory_manager

3 files changed, 9 insertions, 10 deletions

diff --git a/arch/x86_64/src/exception_handling/abort.cpp b/arch/x86_64/src/exception_handling/abort.cpp
index e331d34..e12e4cb 100644
--- a/arch/x86_64/src/exception_handling/abort.cpp
+++ b/arch/x86_64/src/exception_handling/abort.cpp
@@ -7,8 +7,8 @@ namespace teachos::arch::exception_handling
   /**
    * @brief Override for the newlib abort function.
    *
-   * newlib defines @p ::abort as a weak symbol, thus allowing implementations to override it by simply providing a
-   * matching implementation. Since the default implemenatation calls a number of functions the kernel does not
+   * @note newlib defines @p ::abort as a weak symbol, thus allowing implementations to override it by simply providing
+   * a matching implementation. Since the default implemenatation calls a number of functions the kernel does not
    * currently implement, @p ::abort gets overridden to simply panic.
    */
   extern "C" auto abort() -> void { panic("Terminate was called, possibly due to an unhandled exception"); }
diff --git a/arch/x86_64/src/kernel/main.cpp b/arch/x86_64/src/kernel/main.cpp
index 3e25d2d..ad1eb39 100644
--- a/arch/x86_64/src/kernel/main.cpp
+++ b/arch/x86_64/src/kernel/main.cpp
@@ -10,7 +10,6 @@
 
 namespace teachos::arch::kernel
 {
-
   auto main() -> void
   {
     video::vga::text::clear();
diff --git a/arch/x86_64/src/memory/paging/page_table.cpp b/arch/x86_64/src/memory/paging/page_table.cpp
index 939f3b1..555d38a 100644
--- a/arch/x86_64/src/memory/paging/page_table.cpp
+++ b/arch/x86_64/src/memory/paging/page_table.cpp
@@ -15,11 +15,12 @@ namespace teachos::arch::memory::paging
     auto zero_entries() -> void;
 
     /**
-     * @brief Returns the next page table level from the given page table index.
+     * @brief Returns the next page table level from the given page table index. Meaning we use an index into a Level 4
+     * page table to get the according Level 3 page table.
      *
-     * Meaning we use an index into a Level 4 page table to get the according Level 3 page table. This method should not
-     * be called on a Level 1 page table, because there is no furthere page table and mangeling up and returning the
-     * physical address would cause hard to debug issues.
+     * @note This method
+     * should not be called on a Level 1 page table, because there is no furthere page table and mangeling up and
+     * returning the physical address would cause hard to debug issues.
      *
      * @param table_index Index of this page table in the page table one level lower.
      */
@@ -37,9 +38,8 @@ namespace teachos::arch::memory::paging
     /**
      * @brief Calculates the address of the next page table level for the given table index.
      *
-     * The next page table address
-     * is only valid if the corresponding entry is present and not a huge page. Meaning we use an index into a
-     * Level 4 page table to get the according Level 3 page table address.
+     * @note The next page table address is only valid if the corresponding entry is present and not a huge page.
+     * Meaning we use an index into a Level 4 page table to get the according Level 3 page table address.
      *
      * @param table_index Index of this page table in the page table one level higher.
      * @return An optional of the address of the next page table or null.