Changeset 742 for soft/giet_vm/giet_kernel/kernel.ld

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.ld (modified) (2 diffs)

soft/giet_vm/giet_kernel/kernel.ld

@@ -16 +16 @@
     {
         *(.giet)
+        *(.kinit)
         *(.text)
     }
@@ -24 +25 @@
         *(.kdata)
     }
-
-    . = kernel_init_vbase;
-    seg_kernel_init : 
-    {
-        *(.kinit)
-    }
 }