source: soft/giet_vm/giet_kernel/kernel.ld @ 802

Last change on this file since 802 was 742, checked in by alain, 9 years ago

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.
  • Property svn:executable set to *
File size: 721 bytes
RevLine 
[258]1
2/******************************************************************************/
3/* Definition of the base addresses for all vsegs used by the GIET_VM         */
4/******************************************************************************/
5
6INCLUDE giet_vsegs.ld
7
8/******************************************************************************/
9/* Grouping sections into virtual segments for system code and data           */
10/******************************************************************************/
11
12SECTIONS
13{
[322]14    . = kernel_code_vbase;
[258]15    seg_kernel_code :
16    {
17        *(.giet)
[742]18        *(.kinit)
[258]19        *(.text)
20    }
21
[322]22    . = kernel_data_vbase;
[258]23    seg_kernel_data :
24    {
25        *(.kdata)
26    }
27}
28
Note: See TracBrowser for help on using the repository browser.