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/core/hal_ppm.c

    r107 r279  
    3939// - the 64 bits XPTR value is identical to the 64 bits PADDR value.
    4040// The pages_tbl[] is mapped in first free page after kernel code.
    41 // There is no other reserved zones than the zone occupied by the kernel code.
    4241//////////////////////////////////////////////////////////////////////////////////////////
    43 
    4442
    4543///////////////////////////////////////////
     
    5250        uint32_t pages_tbl_offset = info->pages_offset;
    5351        uint32_t rsvd_nr          = info->rsvd_nr;
    54 
    55         // check no reserved zones other than kernel code for TSAR
    56         assert( (rsvd_nr == 0 ) , __FUNCTION__ , "NO reserved zones for TSAR\n" );
    5752
    5853        // get pointer on local Physical Page Manager
Note: See TracChangeset for help on using the changeset viewer.