*** 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_xbar" 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