Changeset 464 for soft/giet_vm/giet_boot/boot.c
- Timestamp:
- Dec 12, 2014, 4:30:49 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
soft/giet_vm/giet_boot/boot.c
r460 r464 53 53 // The first word contains the flags, the second word contains the PPN. 54 54 // 55 // The page tables can be distributed in all clusters. 55 // When this is required in the mapping, the page tables can be replicated 56 // in all clusters. 56 57 /////////////////////////////////////////////////////////////////////////////////////// 57 58 // Implementation Notes: … … 63 64 64 65 #include <giet_config.h> 66 #include <hard_config.h> 65 67 #include <mapping_info.h> 66 #include < mwmr_channel.h>68 #include <kernel_malloc.h> 67 69 #include <barrier.h> 68 70 #include <memspace.h> … … 84 86 #include <utils.h> 85 87 #include <tty0.h> 88 #include <locks.h> 86 89 #include <elf-types.h> 87 88 // for boot FAT initialisation89 90 #include <fat32.h> 90 91 91 #include <mips32_registers.h> 92 92 #include <stdarg.h> … … 142 142 pmem_alloc_t boot_pmem_alloc[X_SIZE][Y_SIZE]; 143 143 144 // Distributed kernel heap (one per cluster) 145 __attribute__((section (".bootdata"))) 146 kernel_heap_t kernel_heap[X_SIZE][Y_SIZE]; 147 144 148 // Schedulers virtual base addresses array (one per processor) 145 149 __attribute__((section (".bootdata"))) … … 161 165 __attribute__((section (".bootdata"))) 162 166 unsigned int _ptabs_max_pt2; 167 168 // Global variables for TTY 169 __attribute__((section (".bootdata"))) 170 sbt_lock_t _tty_tx_lock[NB_TTY_CHANNELS] __attribute__((aligned(64))); 171 172 __attribute__((section (".bootdata"))) 173 unsigned int _tty_rx_full[NB_TTY_CHANNELS]; 174 175 __attribute__((section (".bootdata"))) 176 unsigned int _tty_rx_buf[NB_TTY_CHANNELS]; 177 178 163 179 164 180 /////////////////////////////////////////////////////////////////////
Note: See TracChangeset
for help on using the changeset viewer.