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/kernel/libk/elf.c

    r270 r279  
    191191                        process->vmm.code_vpn_base = start >> CONFIG_PPM_PAGE_SHIFT;
    192192
    193                         elf_dmsg("\n[INFO] %s found CODE vseg / base = %x / size = %x\n",
     193                        elf_dmsg("\n[INFO] %s : found CODE vseg / base = %x / size = %x\n",
    194194                                 __FUNCTION__ , start , mem_size );
    195195                }
     
    199199                        process->vmm.data_vpn_base = start >> CONFIG_PPM_PAGE_SHIFT;
    200200
    201                         elf_dmsg("\n[INFO] %s found DATA vseg / base = %x / size = %x\n",
     201                        elf_dmsg("\n[INFO] %s : found DATA vseg / base = %x / size = %x\n",
    202202                                 __FUNCTION__, start , mem_size );
    203203                }
Note: See TracChangeset for help on using the changeset viewer.