Changeset 742 for soft/giet_vm/giet_kernel/kernel_init.c

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_kernel/kernel_init.c (modified) (2 diffs)

soft/giet_vm/giet_kernel/kernel_init.c

@@ -137 +137 @@
 
 ////////////////////////////////////////////////////////////////////////////////
-// This kernel_init() function completes the kernel initialisation in 5 steps:
+// This _kernel_init() function completes the kernel initialisation in 5 steps:
 // Step 0 is done by processor[0,0,0]. Steps 1 to 4 are executed in parallel
 // by all processors.
@@ -146 +146 @@
 // - step 4 : Each processor set sp, sr, ptpr, epc registers values. 
 ////////////////////////////////////////////////////////////////////////////////
-__attribute__((section (".kinit"))) void kernel_init() 
+__attribute__((section (".kinit"))) void _kernel_init() 
 {
     // gpid  : hardware processor index (fixed format: X_WIDTH|Y_WIDTH|P_WIDTH)