Changeset 77a493a in mainline

Timestamp:

2011-11-08T22:30:17Z (13 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

5dd830c

Parents:

5dc34af

Message:

Partition arm32 kernel memory.

Location:

kernel/arch/arm32

Files:

• include/mm/km.h (modified) (1 diff)
• src/mm/km.c (modified) (1 diff)

kernel/arch/arm32/include/mm/km.h

@@ -36 +36 @@
 #define KERN_arm32_KM_H_
 
+#define KM_ARM32_IDENTITY_START         UINT32_C(0x80000000)
+#define KM_ARM32_IDENTITY_SIZE          UINT32_C(0x40000000)
+
+#define KM_ARM32_NON_IDENTITY_START     UINT32_C(0xc0000000)
+#define KM_ARM32_NON_IDENTITY_SIZE      UINT32_C(0x40000000)
+
 extern void km_identity_arch_init(void);
 extern void km_non_identity_arch_init(void);

kernel/arch/arm32/src/mm/km.c

@@ -32 +32 @@
 
 #include <arch/mm/km.h>
+#include <mm/km.h>
+#include <config.h>
 
 void km_identity_arch_init(void)
 {
+        config.identity_base = KM_ARM32_IDENTITY_START;
+        config.identity_size = KM_ARM32_IDENTITY_SIZE;
 }
 
 void km_non_identity_arch_init(void)
 {
+        km_non_identity_span_add(KM_ARM32_NON_IDENTITY_START,
+            KM_ARM32_NON_IDENTITY_SIZE);
 }