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

Last change on this file since 751 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
Line 
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{
14    . = kernel_code_vbase;
15    seg_kernel_code :
16    {
17        *(.giet)
18        *(.kinit)
19        *(.text)
20    }
21
22    . = kernel_data_vbase;
23    seg_kernel_data :
24    {
25        *(.kdata)
26    }
27}
28
Note: See TracBrowser for help on using the repository browser.