Changes in kernel/generic/src/main/main.c [6f20277:40c8c17] in mainline

File:

• kernel/generic/src/main/main.c (modified) (5 diffs)

kernel/generic/src/main/main.c

@@ -68 +68 @@
 #include <mm/page.h>
 #include <genarch/mm/page_pt.h>
+#include <mm/km.h>
 #include <mm/tlb.h>
 #include <mm/as.h>
@@ -88 +89 @@
 
 /** Global configuration structure. */
-config_t config;
+config_t config = {
+        .identity_configured = false,
+        .non_identity_configured = false,
+        .physmem_end = 0
+};
 
 /** Initial user-space tasks */
@@ -205 +210 @@
          */
         arch_pre_mm_init();
+        km_identity_init();
         frame_init();
-        
         /* Initialize at least 1 memory segment big enough for slab to work. */
         slab_cache_init();
@@ -214 +219 @@
         page_init();
         tlb_init();
+        km_non_identity_init();
         ddi_init();
         arch_post_mm_init();
@@ -262 +268 @@
          * Create the first thread.
          */
-        thread_t *kinit_thread =
-            thread_create(kinit, NULL, kernel, 0, "kinit", true);
+        thread_t *kinit_thread
+                = thread_create(kinit, NULL, kernel, 0, "kinit", true);
         if (!kinit_thread)
                 panic("Cannot create kinit thread.");