Changeset 742 for soft/giet_vm/giet_boot

Timestamp:

Dec 10, 2015, 1:38:43 PM (9 years ago)

Author:

alain

Message:

Remove the seg_kernel_init vseg: All the kernel code is now packed
in one single seg_kernel_code vseg. The entry point for the _kernel_init()
function (from the boot code is now at vaddr = 0x80000000.
The goal is to use only one BPP per cluster for the replicated kernel code.

File:

• soft/giet_vm/giet_boot/boot.c (modified) (1 diff)

soft/giet_vm/giet_boot/boot.c

@@ -1952 +1952 @@
 
     // Each processor get kernel entry virtual address
-    unsigned int kernel_entry = (unsigned int)&kernel_init_vbase;
+    unsigned int kernel_entry = 0x80000000;
 
 #if BOOT_DEBUG_ELF