Changeset 83742a4 in mainline for boot/arch/arm32/include

Timestamp:

2013-01-20T16:02:33Z (13 years ago)

Author:

Jan Vesely <jano.vesely@…>

Branches:

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

Children:

b8bb2bc

Parents:

4a79e6f

Message:

arm32: Add cache maintenance to jump_to_kernel, enable caches on bbxm boot.

BBXM boots significantly faster.
Should be generic enough for all ARMs.

File:

• boot/arch/arm32/include/asm.h (modified) (1 diff)

boot/arch/arm32/include/asm.h

@@ -49 +49 @@
  *
  */
-extern void jump_to_kernel(void *entry, void *bootinfo)
+extern void jump_to_kernel(void *entry, void *bootinfo, void *kernel_end)
     __attribute__((noreturn));