Changeset 32817cc in mainline for kernel/arch/arm32/src/arm32.c

Timestamp:

2012-01-25T22:59:35Z (13 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

4dee0cb

Parents:

7943c43

Message:

Make the kernel ready for init tasks loaded to high memory.

File:

• kernel/arch/arm32/src/arm32.c (modified) (1 diff)

kernel/arch/arm32/src/arm32.c

@@ -58 +58 @@
         size_t i;
         for (i = 0; i < init.cnt; i++) {
-                init.tasks[i].addr = (uintptr_t) bootinfo->tasks[i].addr;
+                init.tasks[i].paddr = KA2PA(bootinfo->tasks[i].addr);
                 init.tasks[i].size = bootinfo->tasks[i].size;
                 str_cpy(init.tasks[i].name, CONFIG_TASK_NAME_BUFLEN,