Ignore:
Timestamp:
Jul 27, 2017, 12:23:29 AM (4 years ago)
Author:
alain
Message:

1) Introduce independant command fields for the various devices in the thread descriptor.
2) Introduce a new dev_pic_enable_ipi() function in the generic PIC device
3) Fix two bugs identified by Maxime in the scheduler initialisation, and in the sched_select().
4) fix several bugs in the TSAR hal_kentry.S.
5) Introduce a third kgiet segment (besides kdata and kcode) in the TSAR bootloader.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/hal/tsar_mips32/kernel.ld

    r63 r279  
    55
    66/* Define the kernel code base address */
    7 kernel_base = 0x4000;
    87
    9 /*
    10  * Set the entry point of the boot-loader (e_entry field in the "boot.elf"
    11  * file header)
    12  */
     8seg_kcode_base = 0x00004000;
     9seg_kgiet_base = 0x80000000;
     10
     11/* Set the entry point (e_entry field in the "kernel.elf" file header) */
    1312
    1413ENTRY(kernel_init)
    1514
    16 /*
    17  * Describe how to group the sections
    18  */
     15/* Describe how to group the sections */
     16
    1917SECTIONS
    2018{
    21         . = kernel_base;
     19        . = seg_kcode_base;
    2220        seg_kcode :
    2321        {
     
    3533                *(.data*)
    3634        }
     35
     36    . = seg_kgiet_base;
     37    seg_kgiet :
     38    {
     39                *(.kgiet)
     40    }
    3741}
Note: See TracChangeset for help on using the changeset viewer.