Changeset 253 for soft/giet_vm/boot


Ignore:
Timestamp:
Aug 14, 2013, 11:19:29 PM (11 years ago)
Author:
alain
Message:

1/ introducing support to display images on the frame buffer
with the vci_chbuf_dma (in stdio.c and drivers.c)
2/ introducing support for mem_cache configuration segment
as the memory cache is considered as another addressable peripheral type
(in drivers.c)
3/ Introducing the new "increment" parameter in the mapping header.
This parameter define the virtual address increment for the vsegs
associated to the replicated peripherals (ICU, XICU, MDMA, TIMER, MMC).
This parameter is mandatory, and all map.xml files the "mappings"
directory have been updated.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • soft/giet_vm/boot/boot_init.c

    r249 r253  
    806806{
    807807    mapping_header_t * header = (mapping_header_t *) & seg_mapping_base;
    808     mapping_cluster_t * cluster = boot_get_cluster_base(header);
    809     mapping_periph_t * periph = boot_get_periph_base(header);
    810808
    811809    // checking mapping availability
    … …  
    835833        boot_exit();
    836834    }
    837     // checking hardware
    838     unsigned int periph_id;
    839     unsigned int cluster_id;
    840     unsigned int tty_found = 0;
    841     unsigned int nic_found = 0;
    842     for (cluster_id = 0; cluster_id < NB_CLUSTERS; cluster_id++)
    843     {
    844         // NB_PROCS_MAX
    845         if (cluster[cluster_id].procs > NB_PROCS_MAX)
    846         {
    847             boot_puts("\n[BOOT ERROR] too many processors in cluster ");
    848             boot_putd(cluster_id);
    849             boot_puts(" : procs = ");
    850             boot_putd(cluster[cluster_id].procs);
    851             boot_puts("\n");
    852             boot_exit();
    853         }
    854 
    855         for (periph_id = cluster[cluster_id].periph_offset;
    856                 periph_id < cluster[cluster_id].periph_offset + cluster[cluster_id].periphs;
    857                 periph_id++)
    858         {
    859             // NB_TTY_CHANNELS
    860             if (periph[periph_id].type == PERIPH_TYPE_TTY)
    861             {
    862                 if (tty_found)
    863                 {
    864                     boot_puts("\n[BOOT ERROR] TTY component should not be replicated\n");
    865                     boot_exit();
    866                 }
    867                 if (periph[periph_id].channels > NB_TTY_CHANNELS)
    868                 {
    869                     boot_puts("\n[BOOT ERROR] Wrong NB_TTY_CHANNELS in cluster ");
    870                     boot_putd(cluster_id);
    871                     boot_puts(" : ttys = ");
    872                     boot_putd(periph[periph_id].channels);
    873                     boot_puts("\n");
    874                     boot_exit();
    875                 }
    876                 tty_found = 1;
    877             }
    878             // NB_NIC_CHANNELS
    879             if (periph[periph_id].type == PERIPH_TYPE_NIC)
    880             {
    881                 if (nic_found)
    882                 {
    883                     boot_puts("\n[BOOT ERROR] NIC component should not be replicated\n");
    884                     boot_exit();
    885                 }
    886                 if (periph[periph_id].channels != NB_NIC_CHANNELS)
    887                 {
    888                     boot_puts("\n[BOOT ERROR] Wrong NB_NIC_CHANNELS in cluster ");
    889                     boot_putd(cluster_id);
    890                     boot_puts(" : nics = ");
    891                     boot_putd(periph[periph_id].channels);
    892                     boot_puts("\n");
    893                     boot_exit();
    894                 }
    895                 nic_found = 1;
    896             }
    897             // NB_TIMERS
    898             if (periph[periph_id].type == PERIPH_TYPE_TIM)
    899             {
    900                 if (periph[periph_id].channels > NB_TIM_CHANNELS)
    901                 {
    902                     boot_puts("\n[BOOT ERROR] Too much user timers in cluster ");
    903                     boot_putd(cluster_id);
    904                     boot_puts(" : timers = ");
    905                     boot_putd(periph[periph_id].channels);
    906                     boot_puts("\n");
    907                     boot_exit();
    908                 }
    909             }
    910             // NB_DMAS
    911             if (periph[periph_id].type == PERIPH_TYPE_DMA)
    912             {
    913                 if (periph[periph_id].channels > NB_DMA_CHANNELS)
    914                 {
    915                     boot_puts("\n[BOOT ERROR] Too much DMA channels in cluster ");
    916                     boot_putd(cluster_id);
    917                     boot_puts(" : channels = ");
    918                     boot_putd(periph[periph_id].channels);
    919                     boot_puts(" - NB_DMA_CHANNELS : ");
    920                     boot_putd(NB_DMA_CHANNELS);
    921                     boot_puts("\n");
    922                     boot_exit();
    923                 }
    924             }
    925         } // end for periphs
    926     } // end for clusters
     835
     836#if BOOT_DEBUG_MAPPING
     837boot_puts("\nclusters  = ");
     838boot_putd( header->clusters );
     839boot_puts("\nprocs     = ");
     840boot_putd( header->procs );
     841boot_puts("\nperiphs   = ");
     842boot_putd( header->periphs );
     843boot_puts("\nvspaces   = ");
     844boot_putd( header->vspaces );
     845boot_puts("\ntasks     = ");
     846boot_putd( header->tasks );
     847boot_puts("\n");
     848
     849unsigned int        cluster_id;
     850mapping_cluster_t * cluster = boot_get_cluster_base(header);
     851for (cluster_id = 0; cluster_id < NB_CLUSTERS; cluster_id++)
     852{
     853boot_puts("\n cluster = ");
     854boot_putd( cluster_id );
     855boot_puts("\n procs   = ");
     856boot_putd( cluster[cluster_id].procs );
     857boot_puts("\n psegs   = ");
     858boot_putd( cluster[cluster_id].psegs );
     859boot_puts("\n periphs = ");
     860boot_putd( cluster[cluster_id].periphs );
     861boot_puts("\n");
     862}
     863#endif
     864
     865    boot_puts("\n[BOOT] Mapping check completed at cycle ");
     866    boot_putd(boot_proctime());
     867    boot_puts(" for ");
     868    boot_puts( header->name );
     869    boot_puts("\n");
     870
    927871} // end boot_check_mapping()
    928872
    … …  
    971915        }
    972916    }
     917
     918    boot_puts("\n[BOOT] Pseg allocators initialisation completed at cycle ");
     919    boot_putd(boot_proctime());
     920    boot_puts("\n");
     921
    973922} // end boot_psegs_init()
    974923
    … …  
    1037986#endif
    1038987    }
     988
     989    boot_puts("\n[BOOT] Page Tables initialisation completed at cycle ");
     990    boot_putd(boot_proctime());
     991    boot_puts("\n");
     992
    1039993} // end boot_pt_init()
    1040994
    … …  
    12161170        }
    12171171    } // end loop on vspaces
     1172
     1173    boot_puts("\n[BOOT] Vobjs initialisation completed at cycle : ");
     1174    boot_putd(boot_proctime());
     1175    boot_puts("\n");
     1176
    12181177} // end boot_vobjs_init()
    12191178
    … …  
    14231382        } // end for coprocs
    14241383    } // end for clusters
     1384
     1385    boot_puts("\n[BOOT] Peripherals initialisation completed at cycle ");
     1386    boot_putd(boot_proctime());
     1387    boot_puts("\n");
     1388
    14251389} // end boot_peripherals_init()
    14261390
    … …  
    18581822        } // end loop on tasks
    18591823    } // end loop on vspaces
     1824
     1825    boot_puts("\n[BOOT] Schedulers initialisation completed at cycle ");
     1826    boot_putd(boot_proctime());
     1827    boot_puts("\n");
     1828
    18601829} // end boot_schedulers_init()
    18611830
    … …  
    18791848    boot_check_mapping();
    18801849
    1881     boot_puts("\n[BOOT] Mapping check completed at cycle ");
    1882     boot_putd(boot_proctime());
    1883     boot_puts("\n");
    1884 
    18851850    // pseg allocators initialisation
    18861851    boot_psegs_init();
    18871852
    1888     boot_puts("\n[BOOT] Pseg allocators initialisation completed at cycle ");
    1889     boot_putd(boot_proctime());
    1890     boot_puts("\n");
    1891 
    18921853    // page table building
    18931854    boot_pt_init();
    18941855
    1895     boot_puts("\n[BOOT] Page Tables initialisation completed at cycle ");
    1896     boot_putd(boot_proctime());
    1897     boot_puts("\n");
    1898 
    1899     // mmu activation ( with page table [Ø] )
     1856    // mmu activation ( with page table [0] )
    19001857    boot_set_mmu_ptpr((unsigned int) (boot_ptabs_paddr[0] >> 13));
    19011858    boot_set_mmu_mode(0xF);
    … …  
    19051862    boot_puts("\n");
    19061863
    1907 
    19081864    // vobjs initialisation
    19091865    boot_vobjs_init();
    19101866
    1911     boot_puts("\n[BOOT] Vobjs initialisation completed at cycle : ");
    1912     boot_putd(boot_proctime());
    1913     boot_puts("\n");
    1914 
    19151867    // peripherals initialisation
    19161868    boot_peripherals_init();
    19171869
    1918     boot_puts("\n[BOOT] Peripherals initialisation completed at cycle ");
    1919     boot_putd(boot_proctime());
    1920     boot_puts("\n");
    1921 
    19221870    // schedulers initialisation
    19231871    boot_schedulers_init();
    1924 
    1925     boot_puts("\n[BOOT] Schedulers initialisation completed at cycle ");
    1926     boot_putd(boot_proctime());
    1927     boot_puts("\n");
    19281872
    19291873    // start all processors
Note: See TracChangeset for help on using the changeset viewer.