Changeset 279 for trunk/hal/tsar_mips32/core/hal_ppm.c

Timestamp:

Jul 27, 2017, 12:23:29 AM (7 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:

• trunk/hal/tsar_mips32/core/hal_ppm.c (modified) (2 diffs)

trunk/hal/tsar_mips32/core/hal_ppm.c

@@ -39 +39 @@
 // - the 64 bits XPTR value is identical to the 64 bits PADDR value.
 // The pages_tbl[] is mapped in first free page after kernel code.
-// There is no other reserved zones than the zone occupied by the kernel code.
 //////////////////////////////////////////////////////////////////////////////////////////
-
 
 ///////////////////////////////////////////
@@ -52 +50 @@
         uint32_t pages_tbl_offset = info->pages_offset;
         uint32_t rsvd_nr          = info->rsvd_nr;
-
-        // check no reserved zones other than kernel code for TSAR
-        assert( (rsvd_nr == 0 ) , __FUNCTION__ , "NO reserved zones for TSAR\n" );
 
         // get pointer on local Physical Page Manager