Changeset 55896b6 in mainline for kernel/generic/src/main/main.c

Timestamp:

2011-11-07T23:18:33Z (12 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.

File:

• kernel/generic/src/main/main.c (modified) (1 diff)

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 */