Changeset 55896b6 in mainline for kernel/generic/include/config.h

Timestamp:

2011-11-07T23:18:33Z (13 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/include/config.h (modified) (1 diff)

kernel/generic/include/config.h

@@ -88 +88 @@
         size_t stack_size;
 
+        bool identity_configured;
         /** Base address of the kernel identity mapped memory. */
         uintptr_t identity_base;
         /** Size of the kernel identity mapped memory. */
-        size_t identity_size;       
+        size_t identity_size;
+
+        bool non_identity_configured;   
 } config_t;