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/generic/hal_irqmask.h

    r17 r279  
    3838/*****************************************************************************************
    3939 * This function disables all IRQs, and saves the CPU SR state if required.
    40  * TODO : Warning this function discards the CU3 access bit
    4140 *****************************************************************************************
    4241 * @ old    : address of buffer to save the SR (no save if NULL).
Note: See TracChangeset for help on using the changeset viewer.