Index: /soft/giet_vm/mappings/4c_1p_sort.xml =================================================================== --- /soft/giet_vm/mappings/4c_1p_sort.xml (revision 269) +++ /soft/giet_vm/mappings/4c_1p_sort.xml (revision 270) @@ -3,6 +3,8 @@ @@ -16,6 +18,6 @@ - - + + @@ -56,9 +58,9 @@ - - - - - + + + + + @@ -72,9 +74,9 @@ - - - - - + + + + + @@ -88,9 +90,9 @@ - - - - - + + + + + @@ -113,17 +115,17 @@ - seg_boot_buffer is used by the boot-loader. It can contain a complete .elf file. The content is not reused by the kernel. - + - + - + - + - + @@ -131,14 +133,14 @@ *** Segments used by the kernel / A[31:28] = 0x8 - + - + - + - + @@ -146,20 +148,20 @@ *** Segments for non replicated peripherals / A[31:28] = 0xB / Identity mapping - + - + - + - + - + - + @@ -167,59 +169,65 @@ *** 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] = 0xB2 / Increment = 0x10000 / Identity mapping in cluster 0 - - +*** 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) + + - + - + - + @@ -236,34 +244,34 @@ - + - + - + - + - + - + - + - - - - + + + + Index: /soft/giet_vm/mappings/4c_1p_sort_chiplet.xml =================================================================== --- /soft/giet_vm/mappings/4c_1p_sort_chiplet.xml (revision 270) +++ /soft/giet_vm/mappings/4c_1p_sort_chiplet.xml (revision 270) @@ -0,0 +1,231 @@ + + + + +*** 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 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 clusterid 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 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +