Ignore:
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:
1 edited

Legend:

Unmodified
Added
Removed
  • soft/giet_vm/giet_kernel/kernel.ld

    r516 r742  
    1616    {
    1717        *(.giet)
     18        *(.kinit)
    1819        *(.text)
    1920    }
     
    2425        *(.kdata)
    2526    }
    26 
    27     . = kernel_init_vbase;
    28     seg_kernel_init :
    29     {
    30         *(.kinit)
    31     }
    3227}
    3328
Note: See TracChangeset for help on using the changeset viewer.