Changeset 55896b6 in mainline for kernel/generic/src

Timestamp:

2011-11-07T23:18:33Z (14 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

29938b2

Parents:

622f409

Message:

Add architecture specific hooks for km_(non)_identity_init().
Add config variables to say whether (non-)identity was configured.

Location:

kernel/generic/src

Files:

• main/main.c (modified) (1 diff)
• mm/km.c (modified) (2 diffs)

kernel/generic/src/main/main.c

@@ -89 +89 @@
 
 /** Global configuration structure. */
-config_t config;
+config_t config = {
+        .identity_configured = false,
+        .non_identity_configured = false
+};
 
 /** Initial user-space tasks */

kernel/generic/src/mm/km.c

@@ -37 +37 @@
 
 #include <mm/km.h>
+#include <arch/mm/km.h>
+#include <config.h>
 
 /** Architecture dependent setup of identity-mapped kernel memory. */
 void km_identity_init(void)
 {
+        km_identity_arch_init();
+        config.identity_configured = true;
 }
 
@@ -46 +50 @@
 void km_non_identity_init(void)
 {
+        km_non_identity_arch_init();
+        config.non_identity_configured = true;
 }