*** The "increment" parameter is the virtual address cluster increment
*** The physical address cluster increment is 0x10000000000 / NB_CLUSTERS
*** This first section describes an instance of the "tsar_generic_iob" architecture
*** with 4 clusters, 1 processor per cluster and 40 bits physical address.
*** Non replicated peripherals (including the ROM containing the preloader code)
*** Segments used by the boot code / A[31:28] = 0x0 / Identity mapping
- seg_boot_mapping is loaded by the boot-loader. It contains the mapping info. The content is reused by the kernel.
- seg_boot_code and seg_boot data are loaded by the preloader, used by the boot-loader The content is not reused by the kernel.
- seg_boot_stack is contains the stacks used by all processors during reset and boot. The content is not reused by the Kernel.
- seg_boot_buffer is used by the boot-loader. It can contain a complete .elf file. The content is not reused by the kernel.
*** Segments used by the kernel / A[31:28] = 0x8
*** Segments for non replicated peripherals / A[31:28] = 0xB / Identity mapping
*** Segments for replicated ICUS / A[31:24] = 0xB0 / Increment = 0x10000 / Identity mapping in cluster 0
*** segments for replicated DMAs / A[31:24] = 0xB1 / Increment = 0x10000 / Tdentity mapping in cluster 0
*** The peripheral type must be entirely defined by the 8 virtual address MSB bits (mask_type = 0xFF000000)
*** The cluster id must be encoded in the next 8 virtual address bits (cluster_mask = 0x00FF0000)
*** segments for replicated MMC / A[31:24] = 0xB8 / Increment = 0x10000 / Identity mapping in cluster 0
*** The peripheral type must be entirely defined by the 8 virtual address MSB bits (mask_type = 0xFF000000)
*** The cluster id must be encoded in the next 8 virtual address bits (cluster_mask = 0x00FF0000)
*** segments for replicated schedulers / A[31:28] = 0xF / Increment = 0x10000
*** The type must be entirely defined by the 8 virtual address MSB bits (mask_type = 0xFF000000)
*** The cluster id must be encoded in the next 8 virtual address bits (cluster_mask = 0x00FF0000)
***
*** For each vspace, the startname field is the name of the vobj containing the start_vector (entry point array)
*** For each task, the startid field define the task entry point as an index in the start_vector
*** For each task, the x,y and proclocid arguments define the task static placement
*** For each task, the stackname field is the name of the vobj containing the task stack
*** For each task, the heapname field is the name of the vobj containing the task heap