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_drivers.c

    r266 r279  
    7575        /* update the PIC chdev extension */
    7676        pic->ext.pic.enable_timer = &soclib_pic_enable_timer;
     77        pic->ext.pic.enable_ipi   = &soclib_pic_enable_ipi;
    7778        pic->ext.pic.enable_irq   = &soclib_pic_enable_irq;
    7879        pic->ext.pic.disable_irq  = &soclib_pic_disable_irq;
Note: See TracChangeset for help on using the changeset viewer.