Changeset 249 for soft/giet_vm


Ignore:
Timestamp:
Jul 18, 2013, 6:33:38 PM (11 years ago)
Author:
alain
Message:

Various modifications to support IO Bridge,
and MEMC configuration interface.

Location:
soft/giet_vm
Files:
12 edited

Legend:

Unmodified
Added
Removed
  • soft/giet_vm/Makefile

    r244 r249  
    55DU = mipsel-unknown-elf-objdump
    66
    7 MAP_XML      = mappings/4c_1p_40.xml
     7MAP_XML      = mappings/4c_1p_iob.xml
    88
    99SYS_OBJS     = build/sys/vm_handler.o \
  • soft/giet_vm/boot/boot_init.c

    r246 r249  
    109109{ [0 ... GIET_NB_VSPACE_MAX - 1] = 0 };
    110110
     111// lock protecting TTY0
     112__attribute__((section (".wdata")))
     113unsigned int boot_tty0_lock = 0;
     114
    111115
    112116//////////////////////////////////////////////////////////////////////////////
     
    504508            boot_puts("\n[BOOT ERROR] in boot_add_pte() function\n");
    505509            boot_puts("the length of the ptab vobj is too small\n");
     510
     511            boot_puts(" max_pt2 = ");
     512            boot_putd( max_pt2 );
     513            boot_puts("\n");
     514            boot_puts(" pt2_id  = ");
     515            boot_putd( pt2_id );
     516            boot_puts("\n");
     517           
    506518            boot_exit();
    507519        }
     
    899911            if (periph[periph_id].type == PERIPH_TYPE_DMA)
    900912            {
    901                 if (periph[periph_id].channels != NB_DMA_CHANNELS)
     913                if (periph[periph_id].channels > NB_DMA_CHANNELS)
    902914                {
    903915                    boot_puts("\n[BOOT ERROR] Too much DMA channels in cluster ");
     
    13281340                break;
    13291341                case PERIPH_TYPE_IOB:    // vci_io_bridge component
    1330                     if (IOMMU_ACTIVE)
     1342                    if (USE_IOB)
    13311343                    {
    13321344                        // TODO
  • soft/giet_vm/boot/reset.S

    r246 r249  
    220220boot_lf_string:         .asciiz "\n"
    221221
    222 boot_tty0_lock:         .word   0
    223 
    224222        .set    reorder
    225223
  • soft/giet_vm/display/main.c

    r238 r249  
    11#include <stdio.h>
    22
    3 #define NBLOCS 32
     3#define NBLOCS 32   // (128 * 128) / 512
     4
     5unsigned char buf[128*128] __attribute__((aligned(64)));
    46
    57__attribute__((constructor)) int main(void)
    68{
    7     unsigned char buf[128*128];
    89    unsigned int  x;
    910    unsigned int  base = 0;
     
    3031
    3132        // Phase 2 : transfert de buf vers le frame buffer par dma
    32         x = giet_fb_write(0, buf, 128 * 128);
     33        x = giet_fb_sync_write(0, buf, 128 * 128);
    3334        if ( x )
    3435        {
     
    3738        }
    3839
     40/*
    3941        giet_tty_printf("fb_write ok at date : %d\n", giet_proctime() );
    4042
     
    4547            giet_exit();
    4648        }
     49*/
    4750        giet_tty_printf("display completed at date = %d \n", giet_proctime());
    4851
  • soft/giet_vm/giet_config.h

    r240 r249  
    3232#define GIET_NB_VSPACE_MAX           64                 /* max number of virtual spaces */
    3333#define GIET_TICK_VALUE          0x100000       /* context switch period (number of cycles) */
    34 
     34#define GIET_USE_IOMMU           0          /* IOMMU activated when non zero */
    3535#endif
    3636
  • soft/giet_vm/mappings/4c_1p_display.xml

    r232 r249  
    11<?xml version="1.0"?>
    22
    3 <mapping_info signature = "0xdeadbeef" name = "4c_1p_display" cluster_x = "2" cluster_y = "2" vspaces = "1" >
     3<mapping_info signature    = "0xdeadbeef"
     4              name         = "4c_1p_40"
     5              cluster_x    = "2"
     6              cluster_y    = "2"
     7              vspaces      = "1">
     8
     9*** This first section describes an instance of the "tsar_generic_iob" architecture
     10*** with 4 clusters, 1 processor per cluster and 40 bits physical address.
    411
    512    <clusterset>
    613
    714        <cluster index = "0" >
    8 
    9             <pseg name = "PSEG_RAM"  type = "RAM"  base = "0x00000000" length = "0x00C00000" />
    10             <pseg name = "PSEG_XICU" type = "PERI" base = "0x00F00000" length = "0x00001000" />
    11             <pseg name = "PSEG_DMA"  type = "PERI" base = "0x00F30000" length = "0x00008000" />
    12 
    13             <proc index = "0" >
    14                 <irq type = "HARD" icuid = "0" isr = "ISR_SWITCH" />
    15                 <irq type = "HARD" icuid = "8" isr = "ISR_DMA" channel = "0" />
    16             </proc>
    17 
    18             <periph type = "DMA"  psegname = "PSEG_DMA"  channels = "1" />
    19             <periph type = "XICU" psegname = "PSEG_XICU" channels = "1" />
    20 
    21         </cluster>
    22         <cluster index = "1" >
    23 
    24             <pseg name = "PSEG_RAM"  type = "RAM"  base = "0x40000000" length = "0x00C00000" />
    25             <pseg name = "PSEG_XICU" type = "PERI" base = "0x40F00000" length = "0x00001000" />
    26             <pseg name = "PSEG_DMA"  type = "PERI" base = "0x40F30000" length = "0x00008000" />
    27 
    28             <proc index = "0" >
    29                 <irq type = "HARD" icuid = "0"  isr = "ISR_SWITCH" />
    30                 <irq type = "HARD" icuid = "8"  isr = "ISR_DMA" channel = "0" />
    31             </proc>
    32 
    33             <periph type = "DMA"  psegname = "PSEG_DMA"  channels = "1" />
    34             <periph type = "XICU" psegname = "PSEG_XICU" channels = "1" />
    35 
    36         </cluster>
    37         <cluster index = "2" >
    38 
    39             <pseg name = "PSEG_RAM"  type = "RAM"  base = "0x80000000" length = "0x00C00000" />
    40             <pseg name = "PSEG_XICU" type = "PERI" base = "0x80F00000" length = "0x00001000" />
    41             <pseg name = "PSEG_DMA"  type = "PERI" base = "0x80F30000" length = "0x00008000" />
     15            <pseg name = "PSEG_RAM"  type = "RAM"  base = "0x0000000000" length = "0x0010000000" />
     16            <pseg name = "PSEG_XICU" type = "PERI" base = "0x00B0000000" length = "0x0000002000" />
     17            <pseg name = "PSEG_DMA"  type = "PERI" base = "0x00B1000000" length = "0x0000008000" />
     18            <pseg name = "PSEG_MMC"  type = "PERI" base = "0x00B2000000" length = "0x0000001000" />
    4219
    4320*** Boot ROM and non replicated peripherals
    4421
    45             <pseg name = "PSEG_FBF"  type = "PERI" base = "0xBFD00000" length = "0x00200000" />
    46             <pseg name = "PSEG_TTY"  type = "PERI" base = "0xBFF20000" length = "0x00001000" />
    47             <pseg name = "PSEG_IOC"  type = "PERI" base = "0xBFF10000" length = "0x00001000" />
    48             <pseg name = "PSEG_NIC"  type = "PERI" base = "0xBFF80000" length = "0x00021000" />
    49             <pseg name = "PSEG_ROM"  type = "ROM"  base = "0xBFC00000" length = "0x00100000" />
     22            <pseg name = "PSEG_IOC"  type = "PERI" base = "0x00B3000000" length = "0x0000001000" />
     23            <pseg name = "PSEG_TTY"  type = "PERI" base = "0x00B4000000" length = "0x0000001000" />
     24            <pseg name = "PSEG_NIC"  type = "PERI" base = "0x00B5000000" length = "0x0000080000" />
     25            <pseg name = "PSEG_CMA"  type = "PERI" base = "0x00B6000000" length = "0x0000008000" />
     26            <pseg name = "PSEG_FBF"  type = "PERI" base = "0x00B7000000" length = "0x0000004000" />
     27            <pseg name = "PSEG_IOB"  type = "PERI" base = "0x00BE000000" length = "0x0000100000" />
     28            <pseg name = "PSEG_ROM"  type = "ROM"  base = "0x00BFC00000" length = "0x0000100000" />
    5029
    5130            <proc index  = "0" >
     
    7049            </proc>
    7150
    72             <periph type = "DMA"  psegname = "PSEG_DMA" channels = "1" />
    73             <periph type = "XICU" psegname = "PSEG_XICU" channels = "1" />
    74             <periph type = "IOC"  psegname = "PSEG_IOC" channels = "1" />
    75             <periph type = "TTY"  psegname = "PSEG_TTY" channels = "2" />
    76             <periph type = "NIC"  psegname = "PSEG_NIC" channels = "8" />
    77             <periph type = "FBF"  psegname = "PSEG_FBF" />
    78 
    79         </cluster>
    80         <cluster index = "3" >
    81 
    82             <pseg name = "PSEG_RAM"  type = "RAM"  base = "0xC0000000" length = "0x00C00000" />
    83             <pseg name = "PSEG_XICU" type = "PERI" base = "0xC0F00000" length = "0x00001000" />
    84             <pseg name = "PSEG_DMA"  type = "PERI" base = "0xC0F30000" length = "0x00008000" />
     51            <periph type = "DMA"  psegname = "PSEG_DMA"  channels = "4"  />
     52            <periph type = "XICU" psegname = "PSEG_XICU" channels = "18" />
     53            <periph type = "MMC"  psegname = "PSEG_MMC" channels = "1"  />
     54            <periph type = "IOC"  psegname = "PSEG_IOC"  channels = "1"  />
     55            <periph type = "TTY"  psegname = "PSEG_TTY"  channels = "8"  />
     56            <periph type = "NIC"  psegname = "PSEG_NIC"  channels = "2"  />
     57            <periph type = "CMA"  psegname = "PSEG_CMA"  channels = "4"  />
     58            <periph type = "FBF"  psegname = "PSEG_FBF"  channels = "1"  />
     59            <periph type = "IOB"  psegname = "PSEG_IOB"  channels = "1"  />
     60        </cluster>
     61
     62        <cluster index = "1" >
     63            <pseg name = "PSEG_RAM"  type = "RAM"  base = "0x4000000000" length = "0x0010000000" />
     64            <pseg name = "PSEG_XICU" type = "PERI" base = "0x40B0000000" length = "0x0000002000" />
     65            <pseg name = "PSEG_DMA"  type = "PERI" base = "0x40B1000000" length = "0x0000008000" />
     66            <pseg name = "PSEG_MMC"  type = "PERI" base = "0x40B2000000" length = "0x0000001000" />
     67
     68            <proc index = "0" >
     69                <irq type = "HARD" icuid = "0"  isr = "ISR_SWITCH" />
     70                <irq type = "HARD" icuid = "8"  isr = "ISR_DMA" channel = "0" />
     71            </proc>
     72
     73            <periph type = "DMA"  psegname = "PSEG_DMA"  channels = "4" />
     74            <periph type = "XICU" psegname = "PSEG_XICU" channels = "2" />
     75            <periph type = "MMC"  psegname = "PSEG_MMC"  channels = "1" />
     76        </cluster>
     77
     78        <cluster index = "2" >
     79            <pseg name = "PSEG_RAM"  type = "RAM"  base = "0x8000000000" length = "0x0010000000" />
     80            <pseg name = "PSEG_XICU" type = "PERI" base = "0x80B0000000" length = "0x0000002000" />
     81            <pseg name = "PSEG_DMA"  type = "PERI" base = "0x80B1000000" length = "0x0000008000" />
     82            <pseg name = "PSEG_MMC"  type = "PERI" base = "0x80B2000000" length = "0x0000001000" />
    8583
    8684            <proc index = "0" >
     
    8987            </proc>
    9088
    91             <periph type = "DMA"  psegname = "PSEG_DMA" channels = "1" />
    92             <periph type = "XICU" psegname = "PSEG_XICU" channels = "1" />
    93         </cluster>
     89            <periph type = "DMA"  psegname = "PSEG_DMA"  channels = "4" />
     90            <periph type = "XICU" psegname = "PSEG_XICU" channels = "2" />
     91            <periph type = "MMC"  psegname = "PSEG_MMC"  channels = "1" />
     92        </cluster>
     93
     94        <cluster index = "3" >
     95            <pseg name = "PSEG_RAM"  type = "RAM"  base = "0xC000000000" length = "0x0010000000" />
     96            <pseg name = "PSEG_XICU" type = "PERI" base = "0xC0B0000000" length = "0x0000002000" />
     97            <pseg name = "PSEG_DMA"  type = "PERI" base = "0xC0B1000000" length = "0x0000008000" />
     98            <pseg name = "PSEG_MMC"  type = "PERI" base = "0xC0B2000000" length = "0x0000001000" />
     99
     100            <proc index = "0" >
     101                <irq type = "HARD" icuid = "0" isr = "ISR_SWITCH" />
     102                <irq type = "HARD" icuid = "8" isr = "ISR_DMA" channel = "0" />
     103            </proc>
     104
     105            <periph type = "DMA"  psegname = "PSEG_DMA"  channels = "4" />
     106            <periph type = "XICU" psegname = "PSEG_XICU" channels = "2" />
     107            <periph type = "MMC"  psegname = "PSEG_MMC"  channels = "1" />
     108        </cluster>
     109
    94110    </clusterset>
    95111
    96112    <globalset>
    97         <vseg name = "seg_boot_code"      vbase = "0xbfc00000" mode = "CXW_" clusterid = "2" psegname = "PSEG_ROM" ident = "1" >
     113
     114*** segments used by the boot code / A[31:28] = 0xB / Identity mapping
     115
     116        <vseg name = "seg_boot_code"      vbase = "0xBFC00000" mode = "CXW_" clusterid = "0" psegname = "PSEG_ROM" ident = "1" >
    98117            <vobj name = "boot_code"      type = "ELF" length = "0x00008000" binpath    = "build/boot/boot.elf" />
    99118        </vseg>
    100         <vseg name = "seg_boot_stack"     vbase = "0xbfc08000" mode = "C_W_" clusterid = "2" psegname = "PSEG_ROM" ident = "1" >
    101             <vobj name = "boot_stack"     type = "BUFFER" length = "0x00004000" />
    102         </vseg>
    103         <vseg name = "seg_boot_mapping"   vbase = "0xbfc0c000" mode = "C_W_" clusterid = "2" psegname = "PSEG_ROM" ident = "1" >
     119        <vseg name = "seg_boot_data"      vbase = "0x00000000" mode = "C_W_" clusterid = "0" psegname = "PSEG_RAM" ident = "1" >
     120            <vobj name = "boot_data"      type = "ELF" length = "0x00001000" binpath    = "build/boot/boot.elf" />
     121        </vseg>
     122        <vseg name = "seg_boot_stack"     vbase = "0x00001000" mode = "C_W_" clusterid = "0" psegname = "PSEG_RAM" ident = "1" >
     123            <vobj name = "boot_stack"     type = "BUFFER" length = "0x00003000" />
     124        </vseg>
     125        <vseg name = "seg_boot_mapping"   vbase = "0x00004000" mode = "C_W_" clusterid = "0" psegname = "PSEG_RAM" ident = "1" >
    104126            <vobj name = "boot_mapping"   type = "BLOB" length  = "0x00004000" binpath  = "map.bin" />
    105127        </vseg>
    106128
    107 *** On voudrait répliquer le segment de code du systÚme (seg_kernel_code) dans tous les clusters...
     129*** segments for non replicated peripherals / A[31:28] = 0xB / Identity mapping
     130
     131        <vseg name = "seg_iob"            vbase = "0xBE000000" mode = "__W_" clusterid = "0" psegname = "PSEG_IOB" ident = "1" >
     132            <vobj name = "iob"            type = "PERI" length  = "0x00001000" />
     133        </vseg>
     134        <vseg name = "seg_ioc"            vbase = "0xB3000000" mode = "__W_" clusterid = "0" psegname = "PSEG_IOC" ident = "1" >
     135            <vobj name = "ioc"            type = "PERI" length  = "0x00001000" />
     136        </vseg>
     137        <vseg name = "seg_tty"            vbase = "0xB4000000" mode = "__W_" clusterid = "0" psegname = "PSEG_TTY" ident = "1" >
     138                        <vobj name = "tty"            type = "PERI" length  = "0x00001000" />
     139        </vseg>
     140        <vseg name = "seg_nic"            vbase = "0xB5000000" mode = "__W_" clusterid = "0" psegname = "PSEG_NIC" ident = "1" >
     141            <vobj name = "nic"            type = "PERI" length  = "0x00080000" />
     142        </vseg>
     143        <vseg name = "seg_cma"            vbase = "0xB6000000" mode = "__W_" clusterid = "0" psegname = "PSEG_CMA" ident = "1" >
     144            <vobj name = "cma"            type = "PERI" length  = "0x00008000" />
     145        </vseg>
     146        <vseg name = "seg_fbf"            vbase = "0xB7000000" mode = "__W_" clusterid = "0" psegname = "PSEG_FBF" ident = "1" >
     147            <vobj name = "fbf"            type = "PERI" length  = "0x00004000" />
     148        </vseg>
     149
     150*** segments used by the kernel / A[31:28] = 0x8
    108151 
    109152        <vseg name = "seg_kernel_code"    vbase = "0x80000000" mode = "CX__" clusterid = "0" psegname = "PSEG_RAM" >
    110153            <vobj name = "kernel_code"    type = "ELF" length = "0x00010000" binpath = "build/sys/sys.elf" />
    111154        </vseg>
    112         <vseg name = "seg_kernel_data"    vbase = "0x80010000" mode = "C_W_" clusterid = "0" psegname = "PSEG_RAM" >
     155        <vseg name = "seg_kernel_data"    vbase = "0x80020000" mode = "C_W_" clusterid = "0" psegname = "PSEG_RAM" >
    113156            <vobj name = "kernel_data"    type = "ELF" length = "0x00040000" binpath = "build/sys/sys.elf" />
    114157                </vseg>
     
    120163        </vseg>
    121164
    122 *** Non replicated peripherals
    123 
    124         <vseg name = "seg_ioc"            vbase = "0xbff10000" mode = "__W_" clusterid = "2" psegname = "PSEG_IOC" ident = "1" >
    125             <vobj name = "ioc"            type = "PERI" length  = "0x00001000" />
    126         </vseg>
    127         <vseg name = "seg_tty"            vbase = "0xbff20000" mode = "__W_" clusterid = "2" psegname = "PSEG_TTY" ident = "1" >
    128                         <vobj name = "tty"            type = "PERI" length  = "0x00001000" />
    129         </vseg>
    130         <vseg name = "seg_fbf"            vbase = "0xbfd00000" mode = "__W_" clusterid = "2" psegname = "PSEG_FBF" ident = "1" >
    131             <vobj name = "fbf"            type = "PERI" length  = "0x00200000" />
    132         </vseg>
    133         <vseg name = "seg_nic"            vbase = "0xbff80000" mode = "__W_" clusterid = "2" psegname = "PSEG_NIC" ident = "1" >
    134             <vobj name = "nic"            type = "PERI" length  = "0x00021000" />
    135         </vseg>
    136 
    137 *** On pourrait supprimer les vsegs associés aux composants XICU en les traitant comme les schedulers :
    138 *** accÚs en addresse physique et stockage de l'adresse de base de chaque XICU dans chaque processeur.
    139 *** On peut aussi définir un vseg factorisé en introduisant le CLUSTER_SIZE...
    140 
    141         <vseg name = "seg_icu_0"          vbase = "0x00f00000" mode = "__W_" clusterid = "0" psegname = "PSEG_XICU" >
     165*** segments for replicated ICUS / A[31:28] = 0xE / Increment = 0x100000             
     166
     167        <vseg name = "seg_icu_0"          vbase = "0xE0000000" mode = "__W_" clusterid = "0" psegname = "PSEG_XICU" >
    142168            <vobj name = "icu_0"          type = "PERI" length  = "0x00001000" />
    143169        </vseg>
    144         <vseg name = "seg_icu_1"          vbase = "0x40f00000" mode = "__W_" clusterid = "1" psegname = "PSEG_XICU" >
     170        <vseg name = "seg_icu_1"          vbase = "0xE0100000" mode = "__W_" clusterid = "1" psegname = "PSEG_XICU" >
    145171            <vobj name = "icu_1"          type = "PERI" length  = "0x00001000" />
    146172        </vseg>
    147         <vseg name = "seg_icu_2"          vbase = "0x80f00000" mode = "__W_" clusterid = "2" psegname = "PSEG_XICU" >
     173        <vseg name = "seg_icu_2"          vbase = "0xE0200000" mode = "__W_" clusterid = "2" psegname = "PSEG_XICU" >
    148174            <vobj name = "icu_2"          type = "PERI" length  = "0x00001000" />
    149175        </vseg>
    150         <vseg name = "seg_icu_3"          vbase = "0xc0f00000" mode = "__W_" clusterid = "3" psegname = "PSEG_XICU" >
     176        <vseg name = "seg_icu_3"          vbase = "0xE0300000" mode = "__W_" clusterid = "3" psegname = "PSEG_XICU" >
    151177            <vobj name = "icu_3"          type = "PERI" length  = "0x00001000" />
    152178        </vseg>
    153179
    154 *** Il faudrait trouver un moyen de supprimer les vsegs associés aux composants DMA distribués, ou de les factoriser...
    155 
    156         <vseg name = "seg_dma_0"          vbase = "0x00f30000" mode = "__W_" clusterid = "0" psegname = "PSEG_DMA" >
     180*** segments for replicated DMAs / A[31:28] = 0xD / Increment = 0x100000
     181
     182        <vseg name = "seg_dma_0"          vbase = "0xD0000000" mode = "__W_" clusterid = "0" psegname = "PSEG_DMA" >
    157183            <vobj name = "dma_0"          type = "PERI" length  = "0x00008000" />
    158184        </vseg>
    159         <vseg name = "seg_dma_1"          vbase = "0x40f30000" mode = "__W_" clusterid = "1" psegname = "PSEG_DMA" >
     185        <vseg name = "seg_dma_1"          vbase = "0xD0100000" mode = "__W_" clusterid = "1" psegname = "PSEG_DMA" >
    160186            <vobj name = "dma_1"          type = "PERI" length  = "0x00008000" />
    161187        </vseg>
    162         <vseg name = "seg_dma_2"          vbase = "0x80f30000" mode = "__W_" clusterid = "2" psegname = "PSEG_DMA" >
     188        <vseg name = "seg_dma_2"          vbase = "0xD0200000" mode = "__W_" clusterid = "2" psegname = "PSEG_DMA" >
    163189            <vobj name = "dma_2"          type = "PERI" length  = "0x00008000" />
    164190        </vseg>
    165         <vseg name = "seg_dma_3"          vbase = "0xc0f30000" mode = "__W_" clusterid = "3" psegname = "PSEG_DMA" >
     191        <vseg name = "seg_dma_3"          vbase = "0xD0300000" mode = "__W_" clusterid = "3" psegname = "PSEG_DMA" >
    166192            <vobj name = "dma_3"          type = "PERI" length  = "0x00008000" />
     193        </vseg>
     194
     195*** segments for replicated MMC / A[31:28] = 0xC / Increment = 0x100000
     196
     197        <vseg name = "seg_memc_0"         vbase = "0xC0000000" mode = "__W_" clusterid = "0" psegname = "PSEG_MMC" >
     198            <vobj name = "memc_0"         type = "PERI" length  = "0x00001000" />
     199        </vseg>
     200        <vseg name = "seg_memc_1"         vbase = "0xC0100000" mode = "__W_" clusterid = "1" psegname = "PSEG_MMC" >
     201            <vobj name = "memc_1"         type = "PERI" length  = "0x00001000" />
     202        </vseg>
     203        <vseg name = "seg_memc_2"         vbase = "0xC0200000" mode = "__W_" clusterid = "2" psegname = "PSEG_MMC" >
     204            <vobj name = "memc_2"         type = "PERI" length  = "0x00001000" />
     205        </vseg>
     206        <vseg name = "seg_memc_3"         vbase = "0xC0300000" mode = "__W_" clusterid = "3" psegname = "PSEG_MMC" >
     207            <vobj name = "memc_3"         type = "PERI" length  = "0x00001000" />
     208        </vseg>
     209
     210*** segments for replicated schedulers / A[31:28] = 0xF / Increment = 0x100000
     211
     212        <vseg name = "seg_sched_0"        vbase = "0xF0000000" mode = "C_W_" clusterid = "0" psegname = "PSEG_RAM" >
     213            <vobj name = "sched_0"        type = "SCHED" length  = "0x00008000" />
     214        </vseg>
     215        <vseg name = "seg_sched_1"        vbase = "0xF0100000" mode = "C_W_" clusterid = "1" psegname = "PSEG_RAM" >
     216            <vobj name = "sched_1"        type = "SCHED" length  = "0x00008000" />
     217        </vseg>
     218        <vseg name = "seg_sched_2"        vbase = "0xF0200000" mode = "C_W_" clusterid = "2" psegname = "PSEG_RAM" >
     219            <vobj name = "sched_2"        type = "SCHED" length  = "0x00008000" />
     220        </vseg>
     221        <vseg name = "seg_sched_3"        vbase = "0xF0300000" mode = "C_W_" clusterid = "3" psegname = "PSEG_RAM" >
     222            <vobj name = "sched_3"        type = "SCHED" length  = "0x00008000" />
    167223        </vseg>
    168224***
     
    170226
    171227    <vspaceset>
    172         <vspace name = "display" startname = "data" >
    173             <vseg name = "seg_data"  vbase = "0x00800000" mode = "C_WU" clusterid = "3" psegname = "PSEG_RAM" >
    174                 <vobj name = "data"  type       = "ELF" length = "0x00010000" binpath = "build/display/display.elf" />
     228        <vspace name = "display" startname = "disp_data" >
     229            <vseg name = "seg_data"        vbase = "0x00800000" mode = "C_WU" clusterid = "3" psegname = "PSEG_RAM" >
     230                <vobj name = "disp_data"   type = "ELF" length = "0x00010000" binpath = "build/display/display.elf" />
    175231                        </vseg>
    176             <vseg name = "seg_ptab"  vbase = "0x00300000" mode = "C___" clusterid = "3" psegname = "PSEG_RAM" >
    177                 <vobj name = "ptab"  type       = "PTAB" length  = "0x00012000" align   = "13" />
     232            <vseg name = "seg_code"        vbase = "0x00400000" mode = "CX_U" clusterid = "3" psegname = "PSEG_RAM" >
     233                <vobj name = "disp_code"   type = "ELF" length = "0x00010000" binpath = "build/display/display.elf" />
    178234            </vseg>
    179             <vseg name = "seg_code"  vbase = "0x00400000" mode = "CX_U" clusterid = "3" psegname = "PSEG_RAM" >
    180                 <vobj name = "code"  type       = "ELF" length = "0x00010000" binpath = "build/display/display.elf" />
     235            <vseg name = "seg_ptab"        vbase = "0x00300000" mode = "C___" clusterid = "3" psegname = "PSEG_RAM" >
     236                <vobj name = "ptab"        type = "PTAB" length  = "0x00020000" align   = "13" />
    181237            </vseg>
    182             <vseg name = "seg_stack" vbase = "0x00010000" mode = "C_WU" clusterid = "3" psegname = "PSEG_RAM" >
    183                 <vobj name = "stack" type       = "BUFFER" length = "0x00010000" />
    184                 <vobj name = "heap"  type = "BUFFER" length = "0x00010000" />
     238            <vseg name = "seg_stack"       vbase = "0x00010000" mode = "C_WU" clusterid = "3" psegname = "PSEG_RAM" >
     239                <vobj name = "stack"       type = "BUFFER" length = "0x00010000" />
     240                <vobj name = "heap"        type = "BUFFER" length = "0x00010000" />
    185241            </vseg>
    186242
    187             <task name = "main_display" clusterid = "3" proclocid = "0" stackname = "stack" heapname = "heap" startid = "0" usetty = "1" usefbdma = "1" />
     243            <task name = "main_display" clusterid = "3" proclocid = "0" stackname = "stack" heapname = "heap" startid = "0" usetty = "1" usedma = "1" />
    188244        </vspace>
    189245    </vspaceset>
  • soft/giet_vm/sys/common.h

    r238 r249  
    2828extern _ld_symbol_t seg_fbf_base;
    2929extern _ld_symbol_t seg_ioc_base;
     30extern _ld_symbol_t seg_mmc_base;
     31
    3032extern _ld_symbol_t seg_mapping_base;
    3133extern _ld_symbol_t seg_kernel_pt_base;
  • soft/giet_vm/sys/drivers.c

    r246 r249  
    4141// - seg_cma_base
    4242// - seg_iob_base
     43// - seg_mmc_base
    4344//
    4445///////////////////////////////////////////////////////////////////////////////////
     
    5758#endif
    5859
     60#if (NB_CLUSTERS > 256)
     61# error: NB_CLUSTERS cannot be larger than 256!
     62#endif
     63
    5964#if !defined(NB_PROCS_MAX)
    6065# error: You must define NB_PROCS_MAX in the hard_config.h file
     
    6974#endif
    7075
     76#if !defined(GIET_USE_IOMMU)
     77# error: You must define GIET_USE_IOMMU in the giet_config.h file
     78#endif
     79
    7180#if !defined(NB_TTY_CHANNELS)
    7281# error: You must define NB_TTY_CHANNELS in the hard_config.h file
     
    121130#endif
    122131
    123 #if !defined( IOMMU_ACTIVE )
    124 # error: You must define IOMMU_ACTIVE in the hard_config.h file
     132#if !defined( USE_IOB )
     133# error: You must define USE_IOB in the hard_config.h file
    125134#endif
    126135
     
    314323
    315324    _get_lock(&_tty_put_lock);
    316     if (tty_id == 0xFFFFFFFF) {
    317         _puts("\n[GIET ERROR] no TTY assigned to the task ");
    318     }
    319     else {
    320         _puts("\n[GIET ERROR] TTY index too large for task ");
    321     }
     325    if (tty_id == 0xFFFFFFFF) _puts("\n[GIET ERROR] no TTY assigned to the task ");
     326    else                      _puts("\n[GIET ERROR] TTY index too large for task ");
    322327    _putd(task_id);
    323328    _puts(" on processor ");
     
    671676        if (ix2 == 0) ppn_first = ppn;
    672677
    673         if (IOMMU_ACTIVE) // the user buffer must be remapped in the I/0 space
     678        if ( GIET_USE_IOMMU && USE_IOB ) // user buffer remapped in the I/0 space
    674679        {
    675680            // check buffer length < 2 Mbytes
     
    710715    _ioc_iommu_npages = (user_vpn_max - user_vpn_min) + 1;
    711716
    712     // invalidate data cache in case of memory write
     717    // invalidate local data cache in case of memory write
    713718    if (to_mem) _dcache_buf_invalidate((void *) user_vaddr, length);
    714719
     
    737742#endif
    738743
     744    // Invalidate L2 cache if IO Bridge is used
     745    if ( to_mem && USE_IOB ) _memc_inval( buf_paddr, length );
     746   
    739747    // get the lock on ioc device
    740748    _get_lock(&_ioc_lock);
    741749
    742750    // peripheral configuration 
    743     if ( IOMMU_ACTIVE )
     751    if ( GIET_USE_IOMMU && USE_IOB )
    744752    {
    745753        ioc_address[BLOCK_DEVICE_BUFFER] = buf_xaddr;
     
    791799
    792800    // unmap the buffer from IOMMU page table if IOMMU is activated
    793     if (IOMMU_ACTIVE)
     801    if ( GIET_USE_IOMMU && USE_IOB )
    794802    {
    795803        unsigned int * iob_address = (unsigned int *) &seg_iob_base;
     
    11071115    if ( ix2 == 0 ) ppn_first = ppn;
    11081116
    1109     if ( IOMMU_ACTIVE )    // the user buffer must be remapped in the I/0 space
     1117    if ( GIET_USE_IOMMU && USE_IOB )    // user buffer remapped in the I/0 space
    11101118    {
    11111119    // check buffer length < 2 Mbytes
     
    14441452}
    14451453
     1454//////////////////////////////////////////////////////////////////////////////////
     1455//     VciMemCache driver
     1456//////////////////////////////////////////////////////////////////////////////////
     1457// The VciMemCache device can be accessed through a configuration interface.
     1458// as a set of uncached, memory mapped registers.
     1459///////////////////////////////////////////////////////////////////////////////////
     1460
     1461///////////////////////////////////////////////////////////////////////////////////
     1462// _memc_inval()
     1463// This function invalidate all cache lines covering a memory buffer defined
     1464// by the physical base address, and the length.
     1465// The buffer address MSB are used to compute the cluster index.
     1466///////////////////////////////////////////////////////////////////////////////////
     1467void _memc_inval( paddr_t      buf_paddr,
     1468                  unsigned int buf_length )
     1469{
     1470    unsigned int cluster_id    = (unsigned int)((buf_paddr>>32)/(256/NB_CLUSTERS));
     1471
     1472    unsigned int * mmc_address = (unsigned int *) ((char *) &seg_mmc_base +
     1473                                                   (cluster_id * GIET_CLUSTER_INCREMENT));
     1474
     1475    // get the lock protecting exclusive access to MEMC
     1476    while ( mmc_address[MEMC_LOCK] ) { asm volatile("nop"); }
     1477
     1478    // write inval arguments
     1479    mmc_address[MEMC_ADDR_LO]    = (unsigned int)buf_paddr;
     1480    mmc_address[MEMC_ADDR_HI]    = (unsigned int)(buf_paddr>>32);
     1481    mmc_address[MEMC_BUF_LENGTH] = buf_length;
     1482    mmc_address[MEMC_CMD_TYPE]   = MEMC_CMD_INVAL;
     1483
     1484    // release the lock protecting MEMC
     1485    mmc_address[MEMC_LOCK] = 0;
     1486}
    14461487///////////////////////////////////////////////////////////////////////////////////
    14471488// _heap_info()
  • soft/giet_vm/sys/drivers.h

    r246 r249  
    88#ifndef _GIET_SYS_DRIVERS_H_
    99#define _GIET_SYS_DRIVERS_H_
    10 
    1110
    1211///////////////////////////////////////////////////////////////////////////////////
     
    113112unsigned int _gcd_read( unsigned int register_index, unsigned int * buffer);
    114113
     114///////////////////////////////////////////////////////////////////////////////////
     115// MEMC access functions
     116///////////////////////////////////////////////////////////////////////////////////
     117
     118void _memc_inval( unsigned long long buf_paddr, unsigned int buf_length);
     119void _memc_sync(  unsigned long long buf_paddr, unsigned int buf_length);
    115120
    116121///////////////////////////////////////////////////////////////////////////////////
  • soft/giet_vm/sys/vm_handler.c

    r246 r249  
    2929        unsigned int ix2,
    3030        unsigned int ppn,
    31         unsigned int flags) {
     31        unsigned int flags)
     32{
    3233    unsigned int ptba;
    3334    unsigned int * pt_ppn;
     
    3839
    3940    // get ptba and update PT2
    40     if ((pt->pt1[ix1] & PTE_V) == 0)
     41    if ((pt->pt1[ix1] & PTE_V) == 0) 
    4142    {
     43        _get_lock(&_tty_put_lock);
    4244        _puts("\n[GIET ERROR] in iommu_add_pte2 function\n");
    4345        _puts("the IOMMU PT1 entry is not mapped / ix1 = ");
    4446        _putx( ix1 );
    4547        _puts("\n");
     48        _release_lock(&_tty_put_lock);
    4649        _exit();
    4750    }
    48     else {
     51    else
     52    {
    4953        ptba = pt->pt1[ix1] << 12;
    5054        pt_flags = (unsigned int *) (ptba + 8 * ix2);
  • soft/giet_vm/xml/mapping_info.h

    r244 r249  
    8181    PERIPH_TYPE_TIM       = 1,
    8282    PERIPH_TYPE_DMA       = 2,
    83     PERIPH_TYPE_CMA       = 3,
    84     PERIPH_TYPE_IOC       = 4,
    85     PERIPH_TYPE_TTY       = 5,
    86     PERIPH_TYPE_FBF       = 6,
    87     PERIPH_TYPE_NIC       = 7,
    88     PERIPH_TYPE_IOB       = 8,
    89     PERIPH_TYPE_GCD       = 9,
    90     PERIPH_TYPE_MAX_VALUE = 10,
     83    PERIPH_TYPE_MMC       = 3,
     84
     85    PERIPH_TYPE_CMA       = 4,
     86    PERIPH_TYPE_IOC       = 5,
     87    PERIPH_TYPE_TTY       = 6,
     88    PERIPH_TYPE_FBF       = 7,
     89    PERIPH_TYPE_NIC       = 8,
     90    PERIPH_TYPE_IOB       = 9,
     91    PERIPH_TYPE_GCD       = 10,
     92
     93    PERIPH_TYPE_MAX_VALUE = 11,
    9194};
    9295
  • soft/giet_vm/xml/xml_parser.c

    r245 r249  
    9999//////////////////////////////
    100100char found_timer = 0;
    101 char found_icu = 0;
    102 char found_dma = 0;
     101char found_icu   = 0;
     102char found_dma   = 0;
     103char found_mmc   = 0;
    103104
    104105
     
    120121unsigned int cma_channels     = 0; // total number of channels in first CMA
    121122
    122 unsigned int io_mmu_active    = 0; // using IOB component
     123unsigned int use_iob          = 0; // using IOB component
    123124unsigned int use_xicu         = 0; // using XICU (not ICU)
    124125
     
    12051206        {
    12061207            periph[periph_index]->type = PERIPH_TYPE_IOB;
    1207             io_mmu_active = 1;
     1208            use_iob = 1;
    12081209            if (header->iob_cluster == 0xFFFFFFFF) 
    12091210            {
     
    12191220            }
    12201221        }
    1221         // The TIM, ICU, XICU, DMA peripherals are replicated in all clusters
     1222        // The TIM, ICU, XICU, DMA, MEMC peripherals are replicated in all clusters
    12221223        // but only one component per cluster
    12231224        else if (strcmp(str, "TIM") == 0 )
     
    12551256            if (dma_channels < periph[periph_index]->channels)
    12561257                dma_channels = periph[periph_index]->channels;
     1258        }
     1259        else if (strcmp(str, "MMC") == 0)
     1260        {
     1261            periph[periph_index]->type = PERIPH_TYPE_MMC;
     1262            if (found_mmc)  error = 1;
     1263            found_mmc = 1;
     1264            if ( periph[periph_index]->channels != 1 ) error = 1;
    12571265        }
    12581266        else
     
    16501658    // for replicated periph
    16511659    found_timer = 0;
    1652     found_icu = 0;
    1653     found_dma = 0;
     1660    found_icu   = 0;
     1661    found_dma   = 0;
     1662    found_mmc   = 0;
    16541663
    16551664    if (xmlTextReaderNodeType(reader) == XML_READER_TYPE_END_ELEMENT) {
     
    21792188
    21802189    def_int_write(fdout, "USE_XICU          ", use_xicu);
    2181     def_int_write(fdout, "IOMMU_ACTIVE      ", io_mmu_active);
     2190    def_int_write(fdout, "USE_IOB           ", use_iob);
    21822191
    21832192    file_write(fdout, epil);
     
    22652274
    22662275    // non replicated peripherals
    2267     ld_write(fdout, "\nseg_fbf_base            ", periph_vbase_array[PERIPH_TYPE_FBF]);
     2276    ld_write(fdout, "seg_cma_base            ",   periph_vbase_array[PERIPH_TYPE_CMA]);
    22682277    ld_write(fdout, "seg_ioc_base            ",   periph_vbase_array[PERIPH_TYPE_IOC]);
     2278    ld_write(fdout, "seg_tty_base            ",   periph_vbase_array[PERIPH_TYPE_TTY]);
     2279    ld_write(fdout, "seg_fbf_base            ",   periph_vbase_array[PERIPH_TYPE_FBF]);
    22692280    ld_write(fdout, "seg_nic_base            ",   periph_vbase_array[PERIPH_TYPE_NIC]);
    2270     ld_write(fdout, "seg_tty_base            ",   periph_vbase_array[PERIPH_TYPE_TTY]);
     2281    ld_write(fdout, "seg_iob_base            ",   periph_vbase_array[PERIPH_TYPE_IOB]);
    22712282    ld_write(fdout, "seg_gcd_base            ",   periph_vbase_array[PERIPH_TYPE_GCD]);
    2272     ld_write(fdout, "seg_iob_base            ",   periph_vbase_array[PERIPH_TYPE_IOB]);
    22732283
    22742284    file_write(fdout, "\n");
     
    22762286    // replicated peripherals
    22772287    ld_write(fdout, "seg_icu_base            ",   periph_vbase_array[PERIPH_TYPE_ICU]);
     2288    ld_write(fdout, "seg_tim_base            ",   periph_vbase_array[PERIPH_TYPE_TIM]);
    22782289    ld_write(fdout, "seg_dma_base            ",   periph_vbase_array[PERIPH_TYPE_DMA]);
    2279     ld_write(fdout, "seg_tim_base            ",   periph_vbase_array[PERIPH_TYPE_TIM]);
     2290    ld_write(fdout, "seg_mmc_base            ",   periph_vbase_array[PERIPH_TYPE_MMC]);
    22802291
    22812292    close(fdout);
Note: See TracChangeset for help on using the changeset viewer.